Switch to: References

Citations of:

Positive Monotone Modal Logic

Studia Logica 109 (4):829-857 (2021)

Add citations

You must login to add citations.
  1. A Model Theory of Topology.Paolo Lipparini - forthcoming - Studia Logica:1-35.
    An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation \( \sqsubseteq (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot & Dirk Pattinson - 2022 - Notre Dame Journal of Formal Logic 63 (2):213-242.
    We consider subintuitionistic logics as an extension of positive propositional logic with a binary modality, interpreted over ordered and unordered monotone neighborhood frames, with a range of frame conditions. This change in perspective allows us to apply tools and techniques from the modal setting to subintuitionistic logics. We provide a Priestley-style duality, and transfer results from the (classical) logic of monotone neighborhood frames to obtain completeness, conservativity, and a finite model property for the basic logic, extended with a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation