Switch to: References

Add citations

You must login to add citations.
  1. Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics.Jie Fan - 2021 - Studia Logica 110 (1):1-45.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logics of True Belief.Yuanzhe Yang - 2024 - Notre Dame Journal of Formal Logic 65 (1):55-80.
    In epistemic logic, the beliefs of an agent are modeled in a way very similar to knowledge, except that they are fallible. Thus, the pattern of an agent’s true beliefs is an interesting subject to study. In this paper, we conduct a systematic study on a novel modal logic with the bundled operator ⊡ϕ:=□ϕ∧ϕ as the only primitive modality, where ⊡ captures the notion of true belief. With the help of a novel notion of ⊡-bisimulation, we characterize the expressivity of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Boxdot Conjecture and the Generalized McKinsey Axiom.Christopher Steinsvold - 2018 - Australasian Journal of Logic 15 (3):630-641.
    The Boxdot Conjecture is shown to hold for a novel class of modal systems. Each system in this class is K plus an instance of a natural generalization of the McKinsey axiom. [Note from the editors: This paper was accepted for publication in 2011. It should have been published in 2014. The lateness of the appearance of the article is due entirely to an editorial oversight.].
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Boxdot Conjecture and the Language of Essence and Accident.Christopher Steinsvold - 2011 - Australasian Journal of Logic 10:18-35.
    We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Cluster expansion and the boxdot conjecture.Emil Jeřábek - 2016 - Mathematical Logic Quarterly 62 (6):608-614.
    Download  
     
    Export citation  
     
    Bookmark   1 citation