First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

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

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

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

[4]  Miodrag Raskovic,et al.  Some Probability Logics with New Types of Probability Operators , 1999, J. Log. Comput..

[5]  Bob Milnikel.  The Logic of Uncertain Justifications , 2013, LFCS.

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

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

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

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

[10]  Sergei N. Artëmov.  The Ontology of Justifications in the Logical Setting , 2012, Stud Logica.

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

[12]  Sergei N. Artëmov.  Justification Logic , 2008, JELIA.

[13]  Meghdad Ghari.  Justification Logics in a Fuzzy Setting , 2014, 1407.4647.

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

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

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

[17]  Heinrich Wansing,et al.  Advances in Modal Logic , 2002 .

[18]  Sergei N. Artemovy.  Operational Modal Logic , 1995 .

[19]  Thomas Studer,et al.  Justifications, Ontology, and Conservativity , 2012, Advances in Modal Logic.