Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763): 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 @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+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 @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / 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 @@
+Q2766545
@@ Property / cites work: Q2766545 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
+Normal rank
@@ Property / cites work @@
+Q5311049
@@ Property / cites work: Q5311049 / rank @@
+Normal rank