On the Decidability of Elementary Modal Logics (Q5277903): Difference between revisions

@@ 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.1145/2817825
@@ Property / full work available at URL: https://doi.org/10.1145/2817825 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2040640762
@@ Property / OpenAlex ID: W2040640762 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Negation
@@ Property / cites work: Guarded Negation / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Berger's paper on the domino problem
@@ Property / cites work: Remarks on Berger's paper on the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+The price of universality
@@ Property / cites work: The price of universality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4910732
@@ Property / cites work: Q4910732 / rank @@
+Normal rank
@@ Property / cites work @@
+A Universally Defined Undecidable Unimodal Logic
@@ Property / cites work: A Universally Defined Undecidable Unimodal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics Definable by Universal Three-Variable Formulas
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q5419895
@@ Property / cites work: Q5419895 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Elementary Modal Logics
@@ Property / cites work: Decidable Elementary Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Two variable first-order logic over ordered domains
+Normal rank
@@ Property / cites work @@
+Complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q2957894
@@ Property / cites work: Q2957894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank