Logics for reasoning about degrees of confirmation

In this paper, we present a first-order and a propositional logic for reasoning about degrees of confirmation. We define the appropriate formal languages and describe the corresponding classes of models. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. We also show that our propositional logic is decidable. For some restrictions of the logics, we provide finitary axiomatic systems.

[1]  Branden Fitelson.  The Plurality of Bayesian Measures of Confirmation and the Problem of Measure Sensitivity , 1999, Philosophy of Science.

[2]  Wiebe van der Hoeck.  Some considerations on the logics PFD A logic combining modality and probability , 1997 .

[3]  Natasha Alechina,et al.  Logic with Probabilistic Operators , 1995 .

[4]  James P. Delgrande,et al.  The Logic of Qualitative Probability , 2015, IJCAI.

[5]  Dimitar P. Guelev.  A Propositional Dynamic Logic with Qualitative Probabilities , 1999, J. Philos. Log..

[6]  Lluis Godo,et al.  A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach , 2004, JELIA.

[7]  Haim Gaifman,et al.  A Theory of Higher Order Probabilities , 1986, TARK.

[8]  Zoran Ognjanovic,et al.  A propositional linear time logic with time flow isomorphic to ω2 , 2013, J. Appl. Log..

[9]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

[10]  Dragan Doder,et al.  Probabilistic Logics with Independence and Confirmation , 2017, Stud Logica.

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

[12]  Peter Haddawy,et al.  Anytime Deduction for Probabilistic Logic , 1994, Artif. Intell..

[13]  Miodrag Raskovic,et al.  A propositional probabilistic logic with discrete linear time for reasoning about evidence , 2012, Annals of Mathematics and Artificial Intelligence.

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

[15]  Dov M. Gabbay,et al.  An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers , 1990, J. Log. Comput..

[16]  Zoran Ognjanovic,et al.  A Probabilistic Logic for Reasoning about Uncertain Temporal Information , 2015, UAI.

[17]  Wiebe van der Hoek.  Some Considerations on the Logic PFD~ , 1997, J. Appl. Non Class. Logics.

[18]  Aviad Heifetz,et al.  Probability Logic for Type Spaces , 2001, Games Econ. Behav..

[19]  Zoran Ognjanovic,et al.  Reasoning About Degrees of Confirmation , 2020, CLAR.

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

[21]  Johan van Benthem,et al.  Dynamic Logics of Evidence-Based Beliefs , 2011, Stud Logica.

[22]  E. Eells,et al.  Measuring Confirmation and Evidence , 2000 .

[23]  Zoran Ognjanovic,et al.  Logics with lower and upper probability operators , 2017, Int. J. Approx. Reason..

[24]  Miodrag Raskovic,et al.  Probability Logics , 2016, Springer International Publishing.

[25]  Martín Abadi,et al.  Decidability and Expressiveness for First-Order Logics of Probability , 1994, Inf. Comput..

[26]  Zoran Ognjanovic,et al.  Probabilistic Common Knowledge Among Infinite Number of Agents , 2015, ECSQARU.

[27]  D. Osherson,et al.  Comparison of confirmation measures , 2007, Cognition.

[28]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[29]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[30]  Dragan Doder,et al.  A LOGIC WITH BIG-STEPPED PROBABILITIES THAT CAN MODEL NONMONOTONIC REASONING OF SYSTEM P , 2011 .

[31]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[32]  Dragan Doder,et al.  Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities , 2020, J. Log. Lang. Inf..

[33]  Dragan Doder,et al.  A logic with conditional probability operators , 2010 .

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