Switch to: References

Add citations

You must login to add citations.
  1. Continuous Accessibility Modal Logics.Caleb Camrud & Ranpal Dosanjh - 2022 - Journal of Philosophical Logic 52 (1):221-266.
    In classical modal semantics, a binary accessibility relation connects worlds. In this paper, we present a uniform and systematic treatment of modal semantics with a continuous accessibility relation alongside the continuous accessibility modal logics that they model. We develop several such logics for a variety of philosophical applications. Our main conclusions are as follows. Modal logics with a continuous accessibility relation are sound and complete in their natural classes of models. The class of Kripke frames where a continuous accessibility relation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.
    1. It is a fact that developing a good proof theory for modal logics is a difficult task. The problem is not in having deductive systems. In fact, all the main modal logics enjoy an axiomatic prese...
    Download  
     
    Export citation  
     
    Bookmark   1 citation