Abstract
By slightly adapting two equivalent semantics of noncontingency operator, we obtain two variants, ⊡ and ⊞, with nonequivalent semantics. We show that on the class of models satisfying any of five basic properties (i.e., seriality, reflexivity, transitivity, symmetry, Euclideanness), the logic , which has ⊡ as the sole modal primitive, is less expressive than the logic , which has ⊞ as the sole modal primitive. We investigate the frame definability of both languages. We then axiomatize and over various classes of bimodal frames. Among other results, a notion of morphisms, called ⊞-morphisms, are provided to show the completeness of axiomatizations of over serial frames and also over symmetric frames.
Citation
Jie Fan. "Two Variants of Noncontingency Operator." Notre Dame J. Formal Logic 62 (3) 491 - 525, August 2021. https://doi.org/10.1215/00294527-2021-0025
Information