Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (Q2817939): 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-40229-1_27
+Normal rank
@@ Property / OpenAlex ID @@
+W2496700262
@@ Property / OpenAlex ID: W2496700262 / 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 @@
+Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
+Normal rank
@@ Property / cites work @@
+The dark side of interval temporal logic: marking the undecidability border
+Normal rank
@@ Property / cites work @@
+Tableaux for Logics of Subinterval Structures over Dense Orderings
+Normal rank
@@ Property / cites work @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+NP trees and Carnap's modal logic
@@ Property / cites work: NP trees and Carnap's modal logic / 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 @@
+Q4003357
@@ Property / cites work: Q4003357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766545
@@ Property / cites work: Q2766545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283018
@@ Property / cites work: Q5283018 / 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 @@
+Checking interval properties of computations
@@ Property / cites work: Checking interval properties of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5351958
@@ Property / cites work: Q5351958 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank