1. Sergei N. Artemov (2001): Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7(1), pp. 1–36, doi:10.2307/2687821.
  2. Sergei [N.] Artemov (2006): Justified common knowledge. Theoretical Computer Science 357(1–3), pp. 4–22, doi:10.1016/j.tcs.2006.03.009.
  3. Sergei [N.] Artemov (2008): The Logic of Justification. The Review of Symbolic Logic 1(4), pp. 477–513, doi:10.1017/S1755020308090060.
  4. 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.
  5. Samuel Bucheli (2015): Some Notes on Temporal Justification Logic. CoRR abs/1510.07247. Available at
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995): Reasoning about Knowledge. MIT Press.
  11. 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.
  12. 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.
  13. Meghdad Ghari (2014): Distributed Knowledge Justification Logics. Theory of Computing Systems 55(1), pp. 1–40, doi:10.1007/s00224-013-9492-x.
  14. Meghdad Ghari (2016): Pavelka-style fuzzy justification logics. Logic Journal of IGPL 24(5), pp. 743–773, doi:10.1093/jigpal/jzw019.
  15. Robert Goldblatt (1992): Logics of Time and Computation, 2nd edition. Center for the Study of Language and Information.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.

Comments and questions to:
For website issues: