Q5232911 (Q5232911): Difference between revisions

@@ Property / describes a project that uses @@
+Datalog LITE
@@ Property / describes a project that uses: Datalog LITE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / 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 @@
+A Step Up in Expressiveness of Decidable Fixpoint Logics
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Querying the Guarded Fragment
@@ Property / cites work: Querying the Guarded Fragment / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Results for the Boundedness Problem
@@ Property / cites work: Decidability Results for the Boundedness Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Interpolation and Preservation in Guarded Logics
+Normal rank
@@ Property / cites work @@
+Q4353558
@@ Property / cites work: Q4353558 / rank @@
+Normal rank
@@ Property / cites work @@
+A restricted second order logic for finite structures
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Bisimulation quantifiers and uniform interpolation for guarded first order logic
+Normal rank
@@ Property / cites work @@
+Semantically Acyclic Conjunctive Queries under Functional Dependencies
+Normal rank
@@ Property / cites work @@
+Datalog LITE
@@ Property / cites work: Datalog LITE / rank @@
+Normal rank
@@ Property / cites work @@
+Back and forth between guarded and modal logics
@@ Property / cites work: Back and forth between guarded and modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
+Normal rank
@@ Property / cites work @@
+The Freedoms of (Guarded) Bisimulation
@@ Property / cites work: The Freedoms of (Guarded) Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938431
@@ Property / cites work: Q4938431 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Q4251069
@@ Property / cites work: Q4251069 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of Logics over Ranked Tree Languages
+Normal rank
@@ Property / cites work @@
+Deciding definability in FO2(&lt;h,&lt;v) on trees
@@ Property / cites work: Deciding definability in FO2(<h,<v) on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences Among Relational Expressions with the Union and Difference Operators
+Normal rank
@@ Property / cites work @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank