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