The guarded fragment with transitive guards (Q1877098): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2004.01.003
@@ Property / DOI: 10.1016/j.apal.2004.01.003 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2004.01.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2030359223
@@ Property / OpenAlex ID: W2030359223 / 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 @@
+On the relative expressiveness of description logics and predicate logics
+Normal rank
@@ Property / cites work @@
+Q5203714
@@ Property / cites work: Q5203714 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / 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 @@
+Q4790403
@@ Property / cites work: Q4790403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+On logics with two variables
@@ Property / cites work: On logics with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Loosely guarded fragment of first-order logic has the finite model property
+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 @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+Q4137143
@@ Property / cites work: Q4137143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / 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 @@
+On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for First-Order Two-Variable Logic with Counting
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2004.01.003
@@ Property / DOI: 10.1016/J.APAL.2004.01.003 / rank @@
+Normal rank