Modes of adjointness (Q484110): Difference between revisions

@@ Property / DOI @@
-.1007/s10992-012-9266-y
@@ Property / DOI: 10.1007/s10992-012-9266-y / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-012-9266-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2059670443
@@ Property / OpenAlex ID: W2059670443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Actions as Resources
@@ Property / cites work: Epistemic Actions as Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532193
@@ Property / cites work: Q4532193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic view of Heyting duality
@@ Property / cites work: A coalgebraic view of Heyting duality / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoining adjoints
@@ Property / cites work: Adjoining adjoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic with Galois connections
+Normal rank
@@ Property / cites work @@
+Q4942680
@@ Property / cites work: Q4942680 / rank @@
+Normal rank
@@ Property / cites work @@
+The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804674
@@ Property / cites work: Q3804674 / rank @@
+Normal rank
@@ Property / cites work @@
+The preservation of Sahlqvist equations in completions of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Q4128788
@@ Property / cites work: Q4128788 / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck Topology as Geometric Modality
@@ Property / cites work: Grothendieck Topology as Geometric Modality / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical modal logic: A view of its evolution
@@ Property / cites work: Mathematical modal logic: A view of its evolution / rank @@
+Normal rank
@@ Property / cites work @@
+On the geometry of intuitionistic S4 proofs
@@ Property / cites work: On the geometry of intuitionistic S4 proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiomatisation of Elgesem's logic of agency and ability
+Normal rank
@@ Property / cites work @@
+A categorical outlook on relational modalities and simulations
+Normal rank
@@ Property / cites work @@
+Q3429641
@@ Property / cites work: Q3429641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Functors
@@ Property / cites work: Adjoint Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411256
@@ Property / cites work: Q5411256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5676377
@@ Property / cites work: Q5676377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978982
@@ Property / cites work: Q3978982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896510
@@ Property / cites work: Q4896510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Completeness results for intuitionistic and modal logic in a categorical setting
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+A topos-theoretic approach to reference and modality
+Normal rank
@@ Property / cites work @@
+Q3978987
@@ Property / cites work: Q3978987 / rank @@
+Normal rank
@@ Property / cites work @@
+Ockham's razor and reasoning about information flow
+Normal rank
@@ Property / cites work @@
+Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
+Normal rank
@@ Property / cites work @@
+Temporal algebra
@@ Property / cites work: Temporal algebra / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10992-012-9266-Y
@@ Property / DOI: 10.1007/S10992-012-9266-Y / rank @@
+Normal rank