Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763): Difference between revisions

@@ Property / author @@
-Q266857
@@ Property / author: Q266857 / rank @@
-Normal rank
@@ Property / author @@
+Valentin F. Goranko
@@ Property / author: Valentin F. Goranko / rank @@
+Normal rank
@@ 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.1016/j.entcs.2010.04.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2154175621
@@ Property / OpenAlex ID: W2154175621 / rank @@
+Normal rank
@@ 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