A propositional probabilistic logic with discrete linear time for reasoning about evidence

The aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence. The formal system developed here is actually a solution of a problem proposed by Halpern and Pucella (J Artif Intell Res 26:1–34, 2006).

[1]  Gai CarSO.  A Logic for Reasoning about Probabilities * , 2004 .

[2]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[3]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[4]  H. J. Keisler,et al.  Chapter XIV: Probability Quantifiers , 1985 .

[5]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[6]  Z. Ognjanovic,et al.  A LOGIC WITH HIGHER ORDER CONDITIONAL PROBABILITIES , 2007 .

[7]  Nils J. Nilsson,et al.  Probabilistic Logic Revisited , 1993, Artif. Intell..

[8]  Miodrag Rašković,et al.  An intuitionistic logic with probabilistic operators , 2003 .

[9]  H. Jerome Keisler.  Hyperpinite Model Theory , 1977 .

[10]  Zoran Ognjanovic.  Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity , 2006, J. Log. Comput..

[11]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[12]  Ildikó Sain,et al.  On the Strength of Temporal Proofs , 1989, Theor. Comput. Sci..

[13]  Glenn Shafer,et al.  Belief Functions and Parametric Models , 1982, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[14]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[15]  Zoran Ognjanovic,et al.  A Branching Time Logic with Two Types of Probability Operators , 2011, SUM.

[16]  A. Prasad Sistla,et al.  Deciding Full Branching Time Logic , 1985, Inf. Control..

[17]  Zoran Ognjanovic,et al.  An Axiomatization of a First-order Branching Time Temporal Logic , 2010, J. Univers. Comput. Sci..

[18]  John P. Burgess,et al.  Axioms for tense logic. I. "Since" and "until" , 1982, Notre Dame J. Formal Log..

[19]  Dov M. Gabbay,et al.  Temporal logic (vol. 1): mathematical foundations and computational aspects , 1994 .

[20]  Amir Pnueli,et al.  Propositional Temporal Logics: Decidability and Completeness , 2000, Log. J. IGPL.

[21]  Miodrag Raskovic,et al.  A logic with approximate conditional probabilities that can model default reasoning , 2008, Int. J. Approx. Reason..

[22]  Roope Kaivola.  Axiomatising Extended Computation Tree Logic , 1996, CAAP.

[23]  Martín Abadi,et al.  The Power of Temporal Proofs , 1989, Theor. Comput. Sci..

[24]  Roope Koivola.  Axiomatising Extended Computation Tree Logic , 1996 .

[25]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

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

[27]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[28]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[29]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[30]  E. Allen Emerson,et al.  Automated Temporal Reasoning about Reactive Systems , 1996, Banff Higher Order Workshop.

[31]  Miodrag Raskovic,et al.  A Probabilistic Logic with Polynomial Weight Formulas , 2008, FoIKS.

[32]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[33]  Miodrag Raskovic,et al.  A Probabilistic Temporal Logic That Can Model Reasoning about Evidence , 2010, FoIKS.

[34]  Zoran Ognjanovic,et al.  A First-Order Dynamic Probability Logic , 2013, ECSQARU.

[35]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[36]  Lluis Godo,et al.  Coherent Conditional Probability in a Fuzzy Logic Setting , 2006, Log. J. IGPL.

[37]  Zoran Ognjanović,et al.  COMPLETENESS THEOREM FOR A LOGIC WITH IMPRECISE AND CONDITIONAL PROBABILITIES , 2005 .

[38]  Moshe Y. Vardi.  Sometimes and Not Never Re-revisited: On Branching Versus Linear Time , 1998, CONCUR.

[39]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.

[40]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[41]  Faron Moller,et al.  Logics for Concurrency , 1996, Lecture Notes in Computer Science.

[42]  Ronald Fagin,et al.  Two Views of Belief: Belief as Generalized Probability and Belief as Evidence , 1992, Artif. Intell..

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

[44]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[45]  T. Hailperin,et al.  Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications , 1996 .

[46]  Robert S. Boyer,et al.  The Correctness Problem in Computer Science , 1982 .

[47]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[48]  Martín Abadi,et al.  The power of temporal proofs (corrigendum) , 1990 .

[49]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[50]  Mark Reynolds,et al.  An axiomatization of full Computation Tree Logic , 2001, Journal of Symbolic Logic.