Categories of frames for modal logic
From MaRDI portal
Cited in
(26)- Critical modal logics containing the Brouwer axiom
- Topology and duality in modal logic
- Amalgamation and interpolation in normal modal logics
- Lambek calculus with restricted contraction and expansion
- Mathematical modal logic: A view of its evolution
- Covering-based rough sets and modal logics. II.
- Duality between modal algebras and neighbourhood frames
- Complete and atomic Tarski algebras
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Maps and monads for modal frames
- Topological perspective on the hybrid proof rules
- Categories for dynamic epistemic logic
- Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
- Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
- scientific article; zbMATH DE number 7471716 (Why is no real title available?)
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Canonical extensions of Stone and double Stone algebras: the natural way
- CARNAP’S PROBLEM FOR MODAL LOGIC
- The category of topological spaces and open maps does not have products
- Blok-Esakia theorems via stable canonical rules
- Two-dimensional Kripke semantics i: presheaves
- A categorical analysis of compatibility frames
- On the structure of modal and tense operators on a Boolean algebra
- A Sahlqvist theorem for distributive modal logic
- Duality for \(\kappa\)-additive complete atomic modal algebras
This page was built for publication: Categories of frames for modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4077980)
