Temporal Justification Logic

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.

[1]  Thomas Studer,et al.  Justifications for common knowledge , 2010, J. Appl. Non Class. Logics.

[2]  Melvin Fitting,et al.  The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..

[3]  Joseph Y. Halpern,et al.  Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..

[4]  Sergei N. Artëmov.  Explicit provability and constructive semantics , 2001, Bull. Symb. Log..

[5]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[6]  Meghdad Ghari.  Pavelka-style fuzzy justification logics , 2016, Log. J. IGPL.

[7]  Thomas Studer.  Decidability for some justification logics with negative introspection , 2013, J. Symb. Log..

[8]  Thomas Studer,et al.  Partial Realization in Dynamic Justification Logic , 2011, WoLLIC.

[9]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.

[10]  Natalia Rubtsova.  On Realization of S5-modality by Evidence Terms , 2006, J. Log. Comput..

[11]  Samuel Bucheli,et al.  Some Notes on Temporal Justification Logic , 2015, ArXiv.

[12]  Ron van der Meyden,et al.  Complete Axiomatizations for Reasoning about Knowledge and Branching Time , 2003, Stud Logica.

[13]  Rajeev Goré,et al.  Tableau Methods for Modal and Temporal Logics , 1999 .

[14]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[15]  E. Pacuit.  A Note on Some Explicit Modal Logics , 2005 .

[16]  Thomas Studer,et al.  Realizing public announcements by justifications , 2014, J. Comput. Syst. Sci..

[17]  Tatiana Yavorskaya,et al.  Interacting Explicit Evidence Systems , 2008, Theory of Computing Systems.

[18]  Meghdad Ghari.  Distributed Knowledge Justification Logics , 2013, Theory of Computing Systems.

[19]  Thomas Studer,et al.  Update as Evidence: Belief Expansion , 2013, LFCS.

[20]  Bryan Renne.  Multi-agent Justification Logic: communication and evidence elimination , 2011, Synthese.

[21]  Sergei N. Artëmov.  Justified common knowledge , 2006, Theor. Comput. Sci..

[22]  Sergei N. Artëmov,et al.  Logical omniscience as infeasibility , 2014, Ann. Pure Appl. Log..

[23]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[24]  Alexey Mkrtychev,et al.  Models for the Logic of Proofs , 1997, LFCS.

[25]  Zoran Ognjanovic,et al.  First steps towards probabilistic justification logic , 2015, Log. J. IGPL.

[26]  Wiebe van der Hoek,et al.  Connecting dynamic epistemic and temporal epistemic logics , 2013, Log. J. IGPL.