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  
  • (1 other version)Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
    In [14], we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces. [13] gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations