Modes of adjointness
type: Item
instance of: scholarly article
title: Modes of adjointness
zbMATH Open document ID: 1338.03035
author: Yong-Cai Geng
author: Sumit K. Garg
published in: Journal of Philosophical Logic
publication date: 2014-12-18T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 18A40
zbMATH DE Number: 6381504
zbMATH Keywords: modal logic
zbMATH Keywords: adjoint functors
MaRDI profile type: Publication
full work available at URL: s10992-012-9266-y
OpenAlex ID: W2059670443
cites work: Q4785506
cites work: Epistemic Actions as Resources
cites work: Q4532193
cites work: Q3408862
cites work: A coalgebraic view of Heyting duality
cites work: Adjoining adjoints
cites work: Q4287485
cites work: Positive modal logic
cites work: Intuitionistic propositional logic with Galois connections
cites work: Q4942680
cites work: The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
cites work: Intuitionistic tense and modal logic
cites work: A Sahlqvist theorem for distributive modal logic
cites work: Q3804674
cites work: The preservation of Sahlqvist equations in completions of Boolean algebras with operators
cites work: Q4128788
cites work: Grothendieck Topology as Geometric Modality
cites work: Varieties of complex algebras
cites work: Mathematical modal logic: A view of its evolution
cites work: On the geometry of intuitionistic S4 proofs
cites work: On the axiomatisation of Elgesem's logic of agency and ability
cites work: A categorical outlook on relational modalities and simulations
cites work: Q3429641
cites work: Q4828514
cites work: Boolean Algebras with Operators. Part I
cites work: Adjoint Functors
cites work: Q5411256
cites work: Q3727946
cites work: Q5676377
cites work: Q3978982
cites work: Q4896510
cites work: Q5639839
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Completeness results for intuitionistic and modal logic in a categorical setting
cites work: The algebra of topology
cites work: Notions of computation and monads
cites work: Algebraic Methodology and Software Technology
cites work: Galois Connexions
cites work: A topos-theoretic approach to reference and modality
cites work: Q3978987
cites work: Ockham's razor and reasoning about information flow
cites work: Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
cites work: Temporal algebra
DOI: 10.1007/S10992-012-9266-Y
description: scientific article; zbMATH DE number 6381504