On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500): Difference between revisions

@@ 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.1007/978-3-319-11558-0_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2106235758
@@ Property / OpenAlex ID: W2106235758 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
+Normal rank
@@ Property / cites work @@
+A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / 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 @@
+The dark side of interval temporal logic: marking the undecidability border
+Normal rank
@@ Property / cites work @@
+Q3457215
@@ Property / cites work: Q3457215 / rank @@
+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 @@
+ON BEGINS, MEETS AND BEFORE
@@ Property / cites work: ON BEGINS, MEETS AND BEFORE / rank @@
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+Q4904145
@@ Property / cites work: Q4904145 / 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 @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / 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 @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2938500