Categories of frames for modal logic
From MaRDI portal
Publication:4077980
DOI10.2307/2272167zbMath0317.02012OpenAlexW2106630772MaRDI QIDQ4077980
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272167
Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05) General logic (03B99)
Related Items (21)
Duality for \(\kappa\)-additive complete atomic modal algebras ⋮ Covering-based rough sets and modal logics. II. ⋮ Topology and duality in modal logic ⋮ Unnamed Item ⋮ CARNAP’S PROBLEM FOR MODAL LOGIC ⋮ Categories for Dynamic Epistemic Logic ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics ⋮ Maps and monads for modal frames ⋮ Mathematical modal logic: A view of its evolution ⋮ Unnamed Item ⋮ Amalgamation and interpolation in normal modal logics ⋮ Lambek calculus with restricted contraction and expansion ⋮ A Sahlqvist theorem for distributive modal logic ⋮ Complete and atomic Tarski algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Duality between modal algebras and neighbourhood frames ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Critical modal logics containing the Brouwer axiom ⋮ Topological Perspective on the Hybrid Proof Rules
Cites Work
This page was built for publication: Categories of frames for modal logic
