Q5092377 (Q5092377): Difference between revisions

@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5092376
@@ Property / cites work: Q5092376 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Two-Variable First-Order Logic with Equivalence Closure
+Normal rank
@@ Property / cites work @@
+Small substructures and decidability issues for first-order logic with two variables
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Predicate-functors and the limits of decidability in logic
+Normal rank
@@ Property / cites work @@
+Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
+Normal rank
@@ Property / cites work @@
+Quine's Fluted Fragment is Non-Elementary
@@ Property / cites work: Quine's Fluted Fragment is Non-Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+THE FLUTED FRAGMENT REVISITED
@@ Property / cites work: THE FLUTED FRAGMENT REVISITED / rank @@
+Normal rank
@@ Property / cites work @@
+Fluted formulas and the limits of decidability
@@ Property / cites work: Fluted formulas and the limits of decidability / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and nicety of fluted logic
@@ Property / cites work: Complexity and nicety of fluted logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+On the satisfiability problem for fragments of two-variable logic with one transitive relation
+Normal rank