Author:
FAN JIE,WANG YANJING,DITMARSCH HANS VAN
Abstract
AbstractA proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator Δ but without the necessity operator □. This logic is not a normal modal logic, because Δ(φ → ψ) → (Δφ → Δψ) is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Epistemic Logic without K/B Operators;2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL);2024-05-28
2. A study of modal logic with semantics based on rough set theory;Journal of Applied Non-Classical Logics;2024-04-05
3. Logics of True Belief;Notre Dame Journal of Formal Logic;2024-02-01
4. Efficient Reasoning About Knowledge and Common Knowledge;Synthese Library;2024
5. Knowledge and ignorance in Belnap–Dunn logic;Logic Journal of the IGPL;2023-11-27