In Fan's 2019 article, “Symmetric Contingency Logic with Unlimitedly Many Modalities”, it is left as an open question in Fan (2019b) how to (completely) axiomatize contingency logic over the class of symmetric and transitive frames, and conjectured that is the desired axiomatization. In the current article, we show that the conjecture is false, and then propose a desired axiomatization, thereby answering the open question. Beyond these results, we also present a family of axiomatizations of contingency logic over Kripke frames.

In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize (...) some results in the literature. We axiomatize the two logics over various classes of neighborhood frames. Most importantly, by adopting the intersection semantics and the subset semantics in the literature, we extend the results to the case of public announcements, which gives us the desired reduction axioms and has good applications related to Moore sentences, successful formulas and self-refuting formulas. Also, we can say something about the comparative merits of the intersection semantics and the subset semantics. (shrink)

As shown in Fan, there are some similarities/resemblances between contingency and accident. Given this, one may naturally ask if we can unify the two operators to manifest all of their similarities/resemblances. In this article, instead of looking at the interactions between the two operators like in Fan, we turn our attention to the resemblances between the two operators. We extend the unification method in Fan to the current setting. The main results include some model-theoretical ones, such as expressivity, frame definability, (...) bisimulation, and some axiomatization ones. (shrink)