Switch to: References

Add citations

You must login to add citations.
  1. A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations