Modes of adjointness

DOI10.1007/s10992-012-9266-yzbMath1338.03035OpenAlexW2059670443MaRDI QIDQ484110

Yong-Cai Geng, Sumit K. Garg

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9266-y

zbMATH Keywords

modal logicadjoint functors

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45)

Related Items

Subdirectly irreducible IKt-algebras, Tense operators on distributive lattices with implication, Morpho-logic from a topos perspective -- application to symbolic AI, An algebraic study of tense operators on Nelson algebras, Principal and Boolean congruences on \(IKt\)-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Notions of computation and monads
• A categorical outlook on relational modalities and simulations
• On the axiomatisation of Elgesem's logic of agency and ability
• Ockham's razor and reasoning about information flow
• A topos-theoretic approach to reference and modality
• Sheaves in geometry and logic: a first introduction to topos theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• On the geometry of intuitionistic S4 proofs
• Adjoining adjoints
• A coalgebraic view of Heyting duality
• Mathematical modal logic: A view of its evolution
• Positive modal logic
• Varieties of complex algebras
• The algebra of topology
• Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
• Intuitionistic propositional logic with Galois connections
• Adjoint Functors
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Intuitionistic tense and modal logic
• Grothendieck Topology as Geometric Modality
• Temporal algebra
• Algebraic Methodology and Software Technology
• Epistemic Actions as Resources
• Boolean Algebras with Operators. Part I
• Galois Connexions
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators