Two variants of noncontingency operator

Jie Fan

By slightly adapting two equivalent semantics of noncontingency operator, we obtain two variants, $⊡$ and $⊞$, with non-equivalent semantics. We show that on the class…