Positive modal logic beyond distributivity (Q6179826): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2023.103374
@@ Property / DOI: 10.1016/j.apal.2023.103374 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4387046688
@@ Property / OpenAlex ID: W4387046688 / rank @@
+Normal rank
@@ Property / cites work @@
+From a lattice to its ideal lattice
@@ Property / cites work: From a lattice to its ideal lattice / rank @@
+Normal rank
@@ Property / cites work @@
+CHOICE-FREE STONE DUALITY
@@ Property / cites work: CHOICE-FREE STONE DUALITY / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial duality for ortholattices and De Morgan lattices
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220406
@@ Property / cites work: Q4220406 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for non-distributive logics
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969000
@@ Property / cites work: Q3969000 / rank @@
+Normal rank
@@ Property / cites work @@
+Scopes and limits of modality in quantum mechanics
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735758
@@ Property / cites work: Q3735758 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / 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 @@
+Q3505082
@@ Property / cites work: Q3505082 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive envelopes and topological duality for lattices via canonical extensions.
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+The Stone Space of an Ortholattice
@@ Property / cites work: The Stone Space of an Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869720
@@ Property / cites work: Q5869720 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete duality for lattices with modal operators
+Normal rank
@@ Property / cites work @@
+Representation of Lattices with Modal Operators in Two-Sorted Frames
+Normal rank
@@ Property / cites work @@
+A topological representation of lattices
@@ Property / cites work: A topological representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressive Power of Modal Dependence Logic
@@ Property / cites work: The Expressive Power of Modal Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+The Pontryagin duality of compact O-dimensional semilattices and its applications
+Normal rank
@@ Property / cites work @@
+Q5883183
@@ Property / cites work: Q5883183 / 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 @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5412173
@@ Property / cites work: Q5412173 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological duality and lattice expansions. I: A topological construction of canonical extensions.
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Category theory applied to Pontryagin duality
@@ Property / cites work: Category theory applied to Pontryagin duality / rank @@
+Normal rank
@@ Property / cites work @@
+Identities in Finite Partition Lattices
@@ Property / cites work: Identities in Finite Partition Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Modal dependence logics: axiomatizations and model-theoretic properties
+Normal rank
@@ Property / cites work @@
+Propositional team logics
@@ Property / cites work: Propositional team logics / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2023.103374
@@ Property / DOI: 10.1016/J.APAL.2023.103374 / rank @@
+Normal rank