On the complexity of the two-variable guarded fragment with transitive guards (Q859827): 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.1016/j.ic.2006.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W4256671182
@@ Property / OpenAlex ID: W4256671182 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q3996675
@@ Property / cites work: Q3996675 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux and algorithms for Propositional Dynamic Logic with Converse
+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 @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4736875
@@ Property / cites work: Q4736875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417866
@@ Property / cites work: Q4417866 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+The guarded fragment with transitive guards
@@ Property / cites work: The guarded fragment with transitive guards / rank @@
+Normal rank
@@ Property / cites work @@
+On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank