Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-71430-7_4
+Normal rank
@@ Property / OpenAlex ID @@
+W3202755338
@@ Property / OpenAlex ID: W3202755338 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430401
@@ Property / cites work: Q4430401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5324584
@@ Property / cites work: Q5324584 / rank @@
+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 @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+On Sahlqvist formulas in relevant logic
@@ Property / cites work: On Sahlqvist formulas in relevant logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789452
@@ Property / cites work: Q4789452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence for intuitionistic modal mu-calculus
+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 canonicity for distributive modal logic
+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 @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist Formulas in Hybrid Polyadic Modal Logics
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Nonassociative right hoops
@@ Property / cites work: Nonassociative right hoops / rank @@
+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 @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for relevant modal logics
@@ Property / cites work: A Sahlqvist theorem for relevant modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for algebras of relevant logics
@@ Property / cites work: Duality for algebras of relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
+Normal rank