TitleNeighborhood contingency logic
AuthorsFan, Jie
van Ditmarsch, Hans
AffiliationDepartment of Philosophy, Peking University, China
LORIA, CNRS, Universit?? de Lorraine, France
Issue Date2015
Citation6th Indian Conference on Logic and Its Applications, ICLA 2015.Mumbai, India,8923(88-99).
AbstractA formula is contingent, if it is possibly true and possibly false; a formula is non-contingent, if it is not contingent, i.e., if it is necessarily true or necessarily false. In this paper, we propose a neighborhood semantics for contingency logic, in which the interpretation of the non-contingency operator is consistent with its philosophical intuition. Based on this semantics, we compare the relative expressivity of contingency logic and modal logic on various classes of neighborhood models, and investigate the frame definability of contingency logic. We present a decidable axiomatization for classical contingency logic (the obvious counterpart of classical modal logic), and demonstrate that for contingency logic, neighborhood semantics can be seen as an extension of Kripke semantics.
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®

Checked on Last Week


Checked on Current Time

License: See PKU IR operational policies.