期刊
REVIEW OF SYMBOLIC LOGIC
卷 8, 期 1, 页码 75-107出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S1755020314000343
关键词
-
资金
- China Scholarship Council
- National Social Science Foundation of China [12ZD119]
- European Research Council [EPS 313360]
A 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 Delta but without the necessity operator square. This logic is not a normal modal logic, because Delta(phi -> psi) -> (Delta phi -> Delta psi) 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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据