Event-Based Time-Stamped Claim Logic

[1]  Cristina Sernadas,et al.  Preservation of Craig interpolation by the product of matrix logics , 2013, J. Appl. Log..

[2]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[3]  John P. Burgess,et al.  The decision problem for linear temporal logic , 1985, Notre Dame J. Formal Log..

[4]  Leon Henkin,et al.  The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[5]  Johan van Benthem,et al.  Evidence Logic: A New Look at Neighborhood Structures , 2012, Advances in Modal Logic.

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

[7]  Johan van Benthem,et al.  Logical Dynamics of Evidence , 2011, LORI.

[8]  Marcelo Finger,et al.  The Unrestricted Combination of Temporal Logic Systems , 2002, Log. J. IGPL.

[9]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[10]  Luca Viganò,et al.  Labelled Tableaux for Distributed Temporal Logic , 2009, J. Log. Comput..

[11]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Dov M. Gabbay,et al.  A Logical Account of Formal Argumentation , 2009, Stud Logica.

[13]  Luca Viganò,et al.  A Formal Approach to Analyzing Cyber-Forensics Evidence , 2018, ESORICS.

[14]  Cristina Sernadas,et al.  On probability and logic , 2016, 1601.02915.

[15]  S. Artemov.  Explicit Provability and Constructive Semantics , 2001, Bulletin of Symbolic Logic.

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

[17]  Meghdad Ghari,et al.  Temporal Justification Logic , 2017, M4M@ICLA.

[18]  Moshe Y. Vardi.  Automata-theoretic techniques for temporal reasoning , 2007, Handbook of Modal Logic.

[19]  Joseph Y. Halpern,et al.  A Logic for Reasoning about Evidence , 2002, UAI.

[20]  Pierre Wolper,et al.  The tableau method for temporal logic: an overview , 1985 .

[21]  Zoran Ognjanovic,et al.  Probabilistic Justification Logic , 2016, LFCS.

[22]  Alexandru Baltag,et al.  The logic of justified belief, explicit knowledge, and conclusive evidence , 2014, Ann. Pure Appl. Log..

[23]  Walter Carnielli,et al.  An epistemic approach to paraconsistency: a logic of evidence and truth , 2019, Synthese.

[24]  Michael Wooldridge,et al.  Temporal and Dynamic Logic , 2010 .

[25]  Luca Viganò,et al.  Time-Stamped Claim Logic , 2019, ArXiv.

[26]  Luca Viganò,et al.  Labeled Natural Deduction Systems for a Family of Tense Logics , 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

[27]  Melvin Fitting.  A quantified logic of evidence , 2008, Ann. Pure Appl. Log..

[28]  Saharon Shelah,et al.  On the Temporal Basis of Fairness. , 1980 .