A Family of Kripke Contingency Logics. Issue 4 (28th August 2020)

• Record Type: Journal Article
• Authors: Fan, Jie
• Is Part Of: Theoria. Volume 86:Issue 4(2020)
• Page Start: 482
• Page End: 499
• Publication Date: 2020-08-28
• Subjects: contingency -- axiomatization -- completeness -- unlimitedly many modalities -- symmetric and transitive frames; Philosophy -- Periodicals; Psychology -- Periodicals; 105
• DOI: 10.1111/theo.12260
• Languages: English
• ISSNs: 0040-5825

Abstract

Abstract: 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 ℂ LB 4 = ℂ LB + Δ i φ → Δ i Δ i φ ∨ ψ 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.