A double arity hierarchy theorem for transitive closure logic (Q1913297): Difference between revisions

@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of deterministic transitive closures
@@ Property / cites work: On the power of deterministic transitive closures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4866342
@@ Property / cites work: Q4866342 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete problems for fixed-point logics
@@ Property / cites work: Complete problems for fixed-point logics / rank @@
+Normal rank
@@ Property / cites work @@
+Definability hierarchies of generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Logical hierarchies in PTIME
@@ Property / cites work: Logical hierarchies in PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary logic and its friends. II
@@ Property / cites work: Stationary logic and its friends. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989926
@@ Property / cites work: Q3989926 / rank @@
+Normal rank