Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2911205979
@@ Property / OpenAlex ID: W2911205979 / 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 @@
+Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
+Normal rank
@@ Property / cites work @@
+Horn Fragments of the Halpern-Shoham Interval Temporal Logic
+Normal rank
@@ Property / cites work @@
+Q5111184
@@ Property / cites work: Q5111184 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904145
@@ Property / cites work: Q4904145 / rank @@
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
+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 @@
+Expressiveness and completeness of an interval tense logic
+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 @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / Wikidata QID @@
+Q128560191
@@ Property / Wikidata QID: Q128560191 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2334600