Algebraic modal correspondence: Sahlqvist and beyond (Q2401020): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963646327
@@ Property / OpenAlex ID: W2963646327 / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist preservation for topological fixed-point logic
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208624
@@ Property / cites work: Q3208624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509049
@@ Property / cites work: Q3509049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength and scope of DLS
@@ Property / cites work: On the strength and scope of DLS / rank @@
+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 @@
+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 @@
+Q5483000
@@ Property / cites work: Q5483000 / 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 @@
+Q5324584
@@ Property / cites work: Q5324584 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
+Normal rank
@@ Property / cites work @@
+Q5119388
@@ Property / cites work: Q5119388 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Q4625704
@@ Property / cites work: Q4625704 / 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 @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Q4285787
@@ Property / cites work: Q4285787 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+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 @@
+Constructive canonicity in non-classical logics
@@ Property / cites work: Constructive canonicity in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+years of model checking. History, achievements, perspectives
+Normal rank
@@ Property / cites work @@
+Extending Boolean operations
@@ Property / cites work: Extending Boolean operations / rank @@
+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 @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5546768
@@ Property / cites work: Q5546768 / 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 @@
+Coalgebraic Predicate Logic
@@ Property / cites work: Coalgebraic Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The canonical FEP construction
@@ Property / cites work: The canonical FEP construction / 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 @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in Sociological Arguments
@@ Property / cites work: Modalities in Sociological Arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / 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 Van Benthem/Rosen theorem for coalgebraic predicate logic
+Normal rank
@@ Property / cites work @@
+CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
+Normal rank
@@ Property / cites work @@
+On the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank
@@ Property / cites work @@
+Hybrid logics with Sahlqvist axioms
@@ Property / cites work: Hybrid logics with Sahlqvist axioms / rank @@
+Normal rank
@@ Property / cites work @@
+An incompleteness theorem in modal logic
@@ Property / cites work: An incompleteness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of second‐order logic to modal logic
@@ Property / cites work: Reduction of second‐order logic to modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311052
@@ Property / cites work: Q5311052 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal reduction principles
@@ Property / cites work: Modal reduction principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789452
@@ Property / cites work: Q4789452 / 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 @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank