On a Temporal Logic of Prefixes and Infixes. (Q5089182): Difference between revisions

@@ label / en / label / en @@
+On a Temporal Logic of Prefixes and Infixes.
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
+Normal rank
@@ Property / cites work @@
+Which fragments of the interval temporal logic HS are tractable in model checking?
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+Q3318104
@@ Property / cites work: Q3318104 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
+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 @@
+B and D Are Enough to Make the Halpern–Shoham Logic Undecidable
+Normal rank
@@ Property / cites work @@
+Checking interval properties of computations
@@ Property / cites work: Checking interval properties of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
+Normal rank
@@ Property / cites work @@
+Interval Logics and ωB-Regular Languages
@@ Property / cites work: Interval Logics and ωB-Regular Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Intervals and tenses
@@ Property / cites work: Intervals and tenses / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity analysis of a unifying algorithm for model checking interval temporal logic
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.MFCS.2020.21
+Normal rank
@@ Property / OpenAlex ID @@
+W3082308102
@@ Property / OpenAlex ID: W3082308102 / rank @@
+Normal rank
@@ Property / title @@
+On a Temporal Logic of Prefixes and Infixes. (English)
@@ Property / title: On a Temporal Logic of Prefixes and Infixes. (English) / rank @@
+Normal rank