Metric temporal reasoning with less than two clocks (Q2901203): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.20.437-455
+Normal rank
@@ Property / OpenAlex ID @@
+W2076887578
@@ Property / OpenAlex ID: W2076887578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003160
@@ Property / cites work: Q4003160 / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for linear temporal logic
@@ Property / cites work: The decision problem for linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional verification of multi-agent systems in temporal multi-epistemic logic
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of MTL Variants over Dense Time
+Normal rank
@@ Property / cites work @@
+MTL with Bounded Variability: Decidability and Complexity
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+years of model checking. History, achievements, perspectives
+Normal rank
@@ Property / cites work @@
+Finite divergence
@@ Property / cites work: Finite divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Metric modalities for continuous time
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+Normal rank
@@ Property / cites work @@
+An axiomatization for until and since over the reals without the IRR rule
+Normal rank
@@ Property / cites work @@
+The complexity of the temporal logic with ``until'' over general linear time
+Normal rank
@@ Property / cites work @@
+The complexity of temporal logic over the reals
@@ Property / cites work: The complexity of temporal logic over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Metric temporal logic revisited
@@ Property / cites work: Metric temporal logic revisited / rank @@
+Normal rank