Switch to: References

Add citations

You must login to add citations.
  1. Axiomatizing Rumsfeld Ignorance.Jie Fan - 2023 - Journal of Philosophical Logic 53 (1):79-97.
    In a recent paper, Kit Fine presents some striking results concerning the logical properties of (first-order) ignorance, second-order ignorance and Rumsfeld ignorance. However, Rumsfeld ignorance is definable in terms of ignorance, which makes some existing results and the axiomatization problem trivial. A main reason is that the accessibility relations for the implicit knowledge operator contained in the packaged operators of ignorance and Rumsfeld ignorance are the same. In this work, we assume the two accessibility relations to be different so that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Bimodal Logics with Contingency and Accident.Jie Fan - 2019 - Journal of Philosophical Logic 48 (2):425-445.
    Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations