Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / 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 @@
+Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
+Normal rank
@@ Property / cites work @@
+The dark side of interval temporal logic: marking the undecidability border
+Normal rank
@@ Property / cites work @@
+Q4986512
@@ Property / cites work: Q4986512 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for Logics of Subinterval Structures over Dense Orderings
+Normal rank
@@ Property / cites work @@
+The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+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 @@
+A note on the complexity of the satisfiability of modal Horn clauses
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+Q3113783
@@ Property / cites work: Q3113783 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal resolution for normal modal logics
@@ Property / cites work: Clausal resolution for normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient HEX-Program Evaluation Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank