Guarded Negation (Q5890544): 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/2701414
@@ Property / full work available at URL: https://doi.org/10.1145/2701414 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2341631904
@@ Property / OpenAlex ID: W2341631904 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Rewriting Guarded Negation Queries
@@ Property / cites work: Rewriting Guarded Negation Queries / rank @@
+Normal rank
@@ Property / cites work @@
+Finite satisfiability for guarded fixpoint logic
@@ Property / cites work: Finite satisfiability for guarded fixpoint logic / rank @@
+Normal rank
@@ Property / cites work @@
+Querying the Guarded Fragment
@@ Property / cites work: Querying the Guarded Fragment / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Negation
@@ Property / cites work: Guarded Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Games and Model Checking for Guarded Logics
@@ Property / cites work: Games and Model Checking for Guarded Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The finite graph problem for two-way alternating automata.
+Normal rank
@@ Property / cites work @@
+Fixed Point Logics
@@ Property / cites work: Fixed Point Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Query evaluation via tree-decompositions
@@ Property / cites work: Query evaluation via tree-decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of single-rule datalog queries.
@@ Property / cites work: On the complexity of single-rule datalog queries. / 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 @@
+Undecidability results on two-variable logics
@@ Property / cites work: Undecidability results on two-variable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Loosely guarded fragment of first-order logic has the finite model property
+Normal rank
@@ Property / cites work @@
+Q4250364
@@ Property / cites work: Q4250364 / 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 @@
+Modal and guarded characterisation theorems over finite transition systems
+Normal rank
@@ Property / cites work @@
+Expressive completeness through logically tractable models
+Normal rank
@@ Property / cites work @@
+Unary negation
@@ Property / cites work: Unary negation / rank @@
+Normal rank