2025/01/16 by Meghdad Ghari, Ghari, Meghdad
Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2501.09471
openalex publication_date 2025/01/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The purpose of this paper is to introduce justification logics based on conditional logics. We introduce a new family of logics, called conditional justification logics, which incorporates a counterfactual conditional in its language. For the semantics, we offer relational models that merge the selection-function semantics of conditional logics with the relational semantics of justification logics. As an application, we formalize Nozick's counterfactual conditions in his analysis of knowledge and investigate their connection to Aumann's concepts of knowledge. Additionally, we explore Gettier's counterexamples to the justified true belief analysis, as well as McGinn's counterexamples to Nozick's analysis of knowledge. Furthermore, we introduce a justification logic that includes a relevant counterfactual conditional and we demonstrate the variable-sharing property for this conditional. We also develop a tableau system for this logic and establish its completeness with respect to Routley relational models. Finally, we formalize Nozick's counterfactual conditions using this relevant counterfactual conditional and represent the sheep in the field example of Chisholm within this logic.