Modes of adjointness

DOI10.1007/S10992-012-9266-YzbMATH Open1338.03035OpenAlexW2059670443MaRDI QIDQ484110FDOQ484110

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

Recommendations

• Partiality and adjointness in modal logic
• Topology and duality in modal logic
• On monotone modalities and adjointness
• Modal operators for meet-complemented lattices
• Propositional calculus under adjointness

zbMATH Keywords

modal logicadjoint functors

Mathematics Subject Classification ID

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

Cites Work

• Galois Connexions
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• Notions of computation and monads
• Positive modal logic
• Handbook of modal logic
• Varieties of complex algebras
• Adjoint Functors
• Title not available (Why is that?)
• A categorical outlook on relational modalities and simulations
• Title not available (Why is that?)
• The algebra of topology
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Temporal algebra
• Title not available (Why is that?)
• Adjoining adjoints
• Title not available (Why is that?)
• Epistemic Actions as Resources
• A Sahlqvist theorem for distributive modal logic
• Title not available (Why is that?)
• Mathematical modal logic: A view of its evolution
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators
• Modal-like operators in Boolean lattices, Galois connections and fixed points
• A topos-theoretic approach to reference and modality
• Completeness results for intuitionistic and modal logic in a categorical setting
• On the geometry of intuitionistic S4 proofs
• A coalgebraic view of Heyting duality
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Intuitionistic propositional logic with Galois connections
• Intuitionistic tense and modal logic
• Title not available (Why is that?)
• Grothendieck Topology as Geometric Modality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Methodology and Software Technology
• Title not available (Why is that?)
• On the axiomatisation of Elgesem's logic of agency and ability
• Ockham's razor and reasoning about information flow

Cited In (7)

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

This page was built for publication: Modes of adjointness

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