Two variants of noncontingency operator

DOI10.1215/00294527-2021-0025arXiv1906.03091MaRDI QIDQ6320143FDOQ6320143

Authors: Jie Fan 

Publication date: 7 June 2019

Abstract: By slightly adapting two equivalent semantics of noncontingency operator, we obtain two variants, $$ and $$, with non-equivalent semantics. We show that on the class of models satisfying any of five basic properties (i.e. seriality, reflexivity, transitivity, symmetry, Euclidicity), 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.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Two variants of noncontingency operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6320143)