Maps and monads for modal frames

DOI10.1007/S11225-006-8306-4MaRDI QIDQ2433103zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt

Publication date 27 October 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-006-8306-4

zbMATH Keywords

dualitymonadequivalence of categoriesreflective subcategoryKleisli categorydescriptive framebounded morphismmodal map

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Duality between modal algebras and neighbourhood frames
• Topology and duality in modal logic
• An algebraic approach to canonical formulas: modal case
• General frames for relevant modal logics
• A MONADIC APPROACH TO THE MODAL THEORY

Cites work

• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Adjoint functors and triples
• Categories of frames for modal logic
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Metamathematics of modal logic

Cited in

(9)

• Distributive envelopes and topological duality for lattices via canonical extensions.
• Unification of Modal Logic via Topological Categories
• Boolean topological distributive lattices and canonical extensions
• General frames for relevant modal logics
• Categories: how I learned to stop worrying and love two sorts
• A categorical outlook on relational modalities and simulations
• Rigid frame maps and Booleanization.
• scientific article; zbMATH DE number 3855096 (Why is no real title available?)
• Remarks on general monotonic neighbourhood frames

This page was built for publication: Maps and monads for modal frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2433103)