On coarser interval temporal logics (Q2321249): Difference between revisions

@@ Property / describes a project that uses @@
+LoTREC
@@ Property / describes a project that uses: LoTREC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2897975441
@@ Property / OpenAlex ID: W2897975441 / rank @@
+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 @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230717
@@ Property / cites work: Q4230717 / rank @@
+Normal rank
@@ Property / cites work @@
+A Cookbook for Temporal Conceptual Data Modelling with Description Logics
+Normal rank
@@ Property / cites work @@
+A benchmark method for the propositional modal logics K, KT, S4
+Normal rank
@@ Property / cites work @@
+Time-dependent concepts: representation and reasoning using temporal description logics
+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 @@
+The dark side of interval temporal logic: marking the undecidability border
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
+Normal rank
@@ Property / cites work @@
+A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
+Normal rank
@@ Property / cites work @@
+The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
+Normal rank
@@ Property / cites work @@
+Tableaux for Logics of Subinterval Structures over Dense Orderings
+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 @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+Q4400800
@@ Property / cites work: Q4400800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539631
@@ Property / cites work: Q4539631 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+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 @@
+The Undecidability of the Logic of Subintervals
@@ Property / cites work: The Undecidability of the Logic of Subintervals / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of compass logic
@@ Property / cites work: Undecidability of compass logic / rank @@
+Normal rank
@@ Property / cites work @@
+Checking interval properties of computations
@@ Property / cites work: Checking interval properties of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+A decidable weakening of Compass Logic based on cone-shaped cardinal directions
+Normal rank
@@ Property / cites work @@
+Q3113783
@@ Property / cites work: Q3113783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708923
@@ Property / cites work: Q4708923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / 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 @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / Wikidata QID @@
+Q129084400
@@ Property / Wikidata QID: Q129084400 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2321249