Q4625704 (Q4625704): Difference between revisions

@@ Property / describes a project that uses @@
+SQEMA
@@ Property / describes a project that uses: SQEMA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
+Normal rank
@@ Property / cites work @@
+Modal companions of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+The disjunction property of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Canonicity results for mu-calculi: an algorithmic approach
+Normal rank
@@ Property / cites work @@
+Constructive canonicity for lattice-based fixed point logics
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence for intuitionistic modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Categories: How I Learned to Stop Worrying and Love Two Sorts
+Normal rank
@@ Property / cites work @@
+Probabilistic Epistemic Updates on Algebras
@@ Property / cites work: Probabilistic Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Unified Correspondence
@@ Property / cites work: Unified Correspondence / rank @@
+Normal rank
@@ Property / cites work @@
+IV. Semantic extensions of SQEMA
@@ Property / cites work: IV. Semantic extensions of SQEMA / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Algebraic modal correspondence: Sahlqvist and beyond
+Normal rank
@@ Property / cites work @@
+On Sahlqvist theory for hybrid logics
@@ Property / cites work: On Sahlqvist theory for hybrid logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+On modal logic with an intuitionistic base
@@ Property / cites work: On modal logic with an intuitionistic base / rank @@
+Normal rank
@@ Property / cites work @@
+Dual characterizations for finite lattices via correspondence theory for monotone modal logic
+Normal rank
@@ Property / cites work @@
+Generalized Kripke frames
@@ Property / cites work: Generalized Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / 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 @@
+Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
+Normal rank
@@ Property / cites work @@
+Q4430401
@@ Property / cites work: Q4430401 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / rank @@
+Normal rank
@@ Property / cites work @@
+Unified correspondence as a proof-theoretic tool
@@ Property / cites work: Unified correspondence as a proof-theoretic tool / rank @@
+Normal rank
@@ Property / cites work @@
+Some relational systems and the associated topological spaces
+Normal rank
@@ Property / cites work @@
+On the canonicity of Sahlqvist identities
@@ Property / cites work: On the canonicity of Sahlqvist identities / rank @@
+Normal rank
@@ Property / cites work @@
+Categorial inference and modal logic
@@ Property / cites work: Categorial inference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic Updates on Algebras
@@ Property / cites work: Epistemic Updates on Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics and model completeness for intuitionistic public announcement logic
+Normal rank
@@ Property / cites work @@
+Unified correspondence and proof theory for strict implication
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Functional translation and second-order frame properties of modal logics
+Normal rank
@@ Property / cites work @@
+Jónsson-style canonicity for ALBA-inequalities
@@ Property / cites work: Jónsson-style canonicity for ALBA-inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist theory for impossible worlds
@@ Property / cites work: Sahlqvist theory for impossible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of the propositional calculus of H-B logic
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+Q3884093
@@ Property / cites work: Q3884093 / 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 @@
+Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
+Normal rank
@@ Property / cites work @@
+Hybrid logics with Sahlqvist axioms
@@ Property / cites work: Hybrid logics with Sahlqvist axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Modal reduction principles
@@ Property / cites work: Modal reduction principles / rank @@
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist correspondence for modal mu-calculus
@@ Property / cites work: Sahlqvist correspondence for modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On logics with coimplication
@@ Property / cites work: On logics with coimplication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Blok-Esakia Theorem
@@ Property / cites work: On the Blok-Esakia Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces
+Normal rank