@article(Art01BSL,
 author       = {Sergei N. Artemov},
 year         = {2001},
 title        = {Explicit Provability and Constructive Semantics},
 journal      = {Bulletin of Symbolic Logic},
 volume       = {7},
 number       = {1},
 pages        = {1--36},
 doi          = {10.2307/2687821},
)
@article(Art06TCS,
 author       = {Sergei [N.] Artemov},
 year         = {2006},
 title        = {Justified common knowledge},
 journal      = {Theoretical Computer Science},
 volume       = {357},
 number       = {1--3},
 pages        = {4--22},
 doi          = {10.1016/j.tcs.2006.03.009},
)
@article(Art08RSL,
 author       = {Sergei [N.] Artemov},
 year         = {2008},
 title        = {The Logic of Justification},
 journal      = {The Review of Symbolic Logic},
 volume       = {1},
 number       = {4},
 pages        = {477--513},
 doi          = {10.1017/S1755020308090060},
)
@article(ArtKuz14APAL,
 author       = {Sergei [N.] Artemov and Roman Kuznets},
 year         = {2014},
 title        = {Logical omniscience as infeasibility},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {165},
 number       = {1},
 pages        = {6--25},
 doi          = {10.1016/j.apal.2013.07.003},
 note         = {Published online August~2013},
)
@article(DBLP:journals/corr/Bucheli15,
 author       = {Samuel Bucheli},
 year         = {2015},
 title        = {Some Notes on Temporal Justification Logic},
 journal      = {CoRR},
 volume       = {abs/1510.07247},
 url          = {http://arxiv.org/abs/1510.07247},
)
@article(BucKuzStu11JANCL,
 author       = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
 year         = {2011},
 title        = {Justifications for common knowledge},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {21},
 number       = {1},
 pages        = {35--60},
 doi          = {10.3166/JANCL.21.35-60},
)
@incollection(BucKuzStu11WoLLIC,
 author       = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
 year         = {2011},
 title        = {Partial Realization in Dynamic Justification Logic},
 editor       = {Lev D. Beklemishev and Ruy de Queiroz},
 booktitle    = {{WoLLIC~2011}, Proceedings},
 series       = {LNAI},
 volume       = {6642},
 publisher    = {Springer},
 pages        = {35--51},
 doi          = {10.1007/978-3-642-20920-8_9},
)
@article(BucKuzStu14,
 author       = {Samuel Bucheli and Roman Kuznets and Thomas Studer},
 year         = {2014},
 title        = {Realizing public announcements by justifications},
 journal      = {Journal of Computer and System Sciences},
 volume       = {80},
 number       = {6},
 pages        = {1046--1066},
 doi          = {10.1016/j.jcss.2014.04.001},
)
@article(vDvdHR13,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Ji Ruan},
 year         = {2013},
 title        = {Connecting dynamic epistemic and temporal epistemic logics},
 journal      = {Logic Journal of IGPL},
 volume       = {21},
 number       = {3},
 pages        = {380--403},
 doi          = {10.1093/jigpal/jzr038},
)
@book(FHMV95,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning about Knowledge},
 publisher    = {MIT Press},
)
@article(Fit05APAL,
 author       = {Melvin Fitting},
 year         = {2005},
 title        = {The logic of proofs, semantically},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {132},
 number       = {1},
 pages        = {1--25},
 doi          = {10.1016/j.apal.2004.04.009},
)
@book(Gabbay,
 author       = {Dov M. Gabbay and Ian Hodkinson and Mark Reynolds},
 year         = {1994},
 title        = {Temporal Logic (Vol. 1): Mathematical Foundations and Computational Aspects},
 publisher    = {Oxford University Press, Inc.},
 doi          = {10.1007/BFb0013976},
)
@article(Ghari:2014,
 author       = {Meghdad Ghari},
 year         = {2014},
 title        = {Distributed Knowledge Justification Logics},
 journal      = {Theory of Computing Systems},
 volume       = {55},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1007/s00224-013-9492-x},
)
@article(Gha16JIGPL,
 author       = {Meghdad Ghari},
 year         = {2016},
 title        = {Pavelka-style fuzzy justification logics},
 journal      = {Logic Journal of IGPL},
 volume       = {24},
 number       = {5},
 pages        = {743--773},
 doi          = {10.1093/jigpal/jzw019},
)
@book(Gol87,
 author       = {Robert Goldblatt},
 year         = {1992},
 title        = {Logics of Time and Computation},
 edition      = {2nd},
 publisher    = {Center for the Study of Language and Information},
)
@incollection(Gor99,
 author       = {Rajeev Gor{\'e}},
 year         = {1999},
 title        = {Tableau Methods for Modal and Temporal Logics},
 editor       = {Marcello D'Agostino and Dov M. Gabbay and Reiner H{\"a}hnle and Joachim Posegga},
 booktitle    = {Handbook of Tableau Methods},
 publisher    = {Springer Netherlands},
 pages        = {297--396},
 doi          = {10.1007/978-94-017-1754-0_6},
)
@article(HvdMV04,
 author       = {Joseph Y. Halpern and Ron van der Meyden and Moshe Y. Vardi},
 year         = {2004},
 title        = {Complete Axiomatizations for Reasoning About Knowledge and Time},
 journal      = {SIAM J.~Comput.},
 volume       = {33},
 number       = {3},
 pages        = {674--703},
 doi          = {10.1137/S0097539797320906},
)
@article(HZ92,
 author       = {Joseph Y. Halpern and Lenore D. Zuck},
 year         = {1992},
 title        = {A Little Knowledge Goes a Long Way: Knowledge-based Derivations and Correctness Proofs for a Family of Protocols},
 journal      = {J.~ACM},
 volume       = {39},
 number       = {3},
 pages        = {449--478},
 doi          = {10.1145/146637.146638},
)
@article(KMOS15,
 author       = {Ioannis Kokkinis and Petar Maksimovi\'c and Zoran Ognjanovi\'c and Thomas Studer},
 year         = {2015},
 title        = {First steps towards probabilistic justification logic},
 journal      = {Logic Journal of IGPL},
 volume       = {23},
 number       = {4},
 pages        = {662--687},
 doi          = {10.1093/jigpal/jzv025},
)
@incollection(KuzStu13LFCS,
 author       = {Roman Kuznets and Thomas Studer},
 year         = {2013},
 title        = {Update as Evidence: Belief Expansion},
 editor       = {Sergei [N.] Artemov and Anil Nerode},
 booktitle    = {{LFCS}~2013, Proceedings},
 series       = {LNCS},
 volume       = {7734},
 publisher    = {Springer},
 pages        = {266--279},
 doi          = {10.1007/978-3-642-35722-0_19},
)
@article(vdMW03,
 author       = {Ron van der Meyden and Ka-shu Wong},
 year         = {2003},
 title        = {Complete Axiomatizations for Reasoning about Knowledge and Branching Time},
 journal      = {Studia Logica},
 volume       = {75},
 number       = {1},
 pages        = {93--123},
 doi          = {10.1023/A:1026181001368},
)
@incollection(Mkr97LFCS,
 author       = {Alexey Mkrtychev},
 year         = {1997},
 title        = {Models for the Logic of Proofs},
 editor       = {Sergei Adian and Anil Nerode},
 booktitle    = {{LFCS}'97, Proceedings},
 series       = {LNCS},
 volume       = {1234},
 publisher    = {Springer},
 pages        = {266--275},
 doi          = {10.1007/3-540-63045-7_27},
)
@inproceedings(Pac05PLS,
 author       = {Eric Pacuit},
 year         = {2005},
 title        = {A Note on Some Explicit Modal Logics},
 booktitle    = {Proceedings of the 5th~{P}anhellenic {L}ogic {S}ymposium},
 publisher    = {University of {A}thens},
 address      = {Athens, Greece},
 pages        = {117--125},
)
@article(Ren12Synthese,
 author       = {Bryan Renne},
 year         = {2012},
 title        = {Multi-agent Justification Logic: communication and evidence elimination},
 journal      = {Synthese},
 volume       = {185},
 number       = {S1},
 pages        = {43--82},
 doi          = {10.1007/s11229-011-9968-7},
 note         = {Published online July~2011},
)
@article(Rub06JLC,
 author       = {Natalia [M.] Rubtsova},
 year         = {2006},
 title        = {On Realization of {$\mathsf{S5}$}-modality by Evidence Terms},
 journal      = {Journal of Logic and Computation},
 volume       = {16},
 number       = {5},
 pages        = {671--684},
 doi          = {10.1093/logcom/exl030},
)
@article(Stu13JSL,
 author       = {Thomas Studer},
 year         = {2013},
 title        = {Decidability for Some Justification Logics with Negative Introspection},
 journal      = {Journal of Symbolic Logic},
 volume       = {78},
 number       = {2},
 pages        = {388--402},
 doi          = {10.2178/jsl.7802030},
)
@article(TYav08TOCS,
 author       = {{Yavorskaya (Sidon)}, Tatiana},
 year         = {2008},
 title        = {Interacting Explicit Evidence Systems},
 journal      = {Theory of Computing Systems},
 volume       = {43},
 number       = {2},
 pages        = {272--293},
 doi          = {10.1007/s00224-007-9057-y},
 note         = {Published online October~2007},
)