Q4580320 (Q4580320): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08800
@@ Property / arXiv ID: 1611.08800 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Clausal Fragments of LTL
@@ Property / cites work: The Complexity of Clausal Fragments of LTL / rank @@
+Normal rank
@@ Property / cites work @@
+A Cookbook for Temporal Conceptual Data Modelling with Description Logics
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive(1) designs
@@ Property / cites work: Synthesis of Reactive(1) designs / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Fragments of the Halpern-Shoham Interval Temporal Logic
+Normal rank
@@ Property / cites work @@
+Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
+Normal rank
@@ Property / cites work @@
+The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
+Normal rank
@@ Property / cites work @@
+The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
+Normal rank
@@ Property / cites work @@
+Multimodal logic programming using equational and order-sorted logic
+Normal rank
@@ Property / cites work @@
+A note on the complexity of the satisfiability of modal Horn clauses
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q4500376
@@ Property / cites work: Q4500376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4454845
@@ Property / cites work: Q4454845 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
+Normal rank