A Complexity Question in Justification Logic

2011 ◽  
pp. 8-19
Author(s):  
Antonis Achilleos
Keyword(s):  
Justification Logic

scholarly journals Probabilistic Justification Logic

Philosophies ◽  
2018 ◽  
Vol 3 (1) ◽  
pp. 2 ◽  
Author(s):  
Joseph Lurie
Keyword(s):  
Justification Logic ◽  
Probabilistic Justification

scholarly journals A Conflict Tolerant Logic of Explicit Evidence

2021 ◽  
Vol 27 (1) ◽  
pp. 124-144
Author(s):  
Thomas Studer
Keyword(s):  
Modal Logic ◽  
Quantum Physics ◽  
Thought Experiment ◽  
The Other ◽  
Justification Logic ◽  
Epistemic Modal ◽  
Epistemic Reasoning ◽  
Basic Properties

Standard epistemic modal logic is unable to adequately deal with the FrauchigerRenner paradox in quantum physics. We introduce a novel justification logic CTJ, in which the paradox can be formalized without leading to an inconsistency. Still CTJ is strong enough to model traditional epistemic reasoning. Our logic tolerates two different pieces of evidence such that one piece justifies a proposition and the other piece justifies the negation of that proposition. However, our logic disallows one piece of evidence to justify both a proposition and its negation. We present syntax and semantics for CTJ and discuss its basic properties. Then we give an example of epistemic reasoning in CTJ that illustrates how the different principles of CTJ interact. We continue with the formalization of the Frauchiger–Renner thought experiment and discuss it in detail. Further, we add a trust axiom to CTJ and again discuss epistemic reasoning and the paradox in this extended setting.

Minimal abductive solutions with explicit justification

2020 ◽  
Author(s):  
Rodrigo Medina-Vega ◽  
Francisco HernÁndez-Quiroz ◽  
Fernando R VelÁzquez-Quesada
Keyword(s):  
Justification Logic ◽  
Precise Meaning

Abstract Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs.

Justification Logic with Confidence

Studia Logica ◽  
2019 ◽  
Vol 108 (4) ◽  
pp. 751-778
Author(s):  
Ted Shear ◽  
John Quiggin
Keyword(s):  
Justification Logic

scholarly journals Probabilistic justification logic

2020 ◽  
Vol 30 (1) ◽  
pp. 257-280
Author(s):  
Ioannis Kokkinis ◽  
Zoran Ognjanović ◽  
Thomas Studer
Keyword(s):  
Rational Belief ◽  
Satisfiability Problem ◽  
Uncertain Reasoning ◽  
Justification Logic ◽  
Lottery Paradox ◽  
Degrees Of Belief ◽  
Strong Completeness ◽  
Probabilistic Justification ◽  
Insight Into

Abstract We present a probabilistic justification logic, $\mathsf{PPJ}$, as a framework for uncertain reasoning about rational belief, degrees of belief and justifications. We establish soundness and strong completeness for $\mathsf{PPJ}$ with respect to the class of so-called measurable Kripke-like models and show that the satisfiability problem is decidable. We discuss how $\mathsf{PPJ}$ provides insight into the well-known lottery paradox.

Sign in / Sign up

Export Citation Format

Share Document