Maps and monads for modal frames

DOI10.1007/S11225-006-8306-4zbMATH Open1106.03057OpenAlexW2044910484MaRDI QIDQ2433103FDOQ2433103

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

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

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)

Cites Work

• Adjoint functors and triples
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Categories of frames for modal logic
• Metamathematics of modal logic

Cited In (9)

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

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)