Bounded variability of metric temporal logic

DOI10.1007/s10472-016-9532-8zbMath1420.03032arXiv1306.2141OpenAlexW3159455060WikidataQ57453362 ScholiaQ57453362MaRDI QIDQ2408743

Paola Spoletini, Carlo A. Furia

Publication date: 13 October 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.2141

zbMATH Keywords

complexitydecidabilitymetric temporal logicbounded variability

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (3)

Bounded variability of metric temporal logic ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Extended Nested Dual System Groups, Revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metric propositional neighborhood logic with an equivalence relation
• Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
• Continuous time temporal logic with counting
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• The complexity of temporal logic over the reals
• Real-time logics: Complexity and expressiveness
• Modeling time in computing.
• Quantitative temporal logics over the reals: PSpace and below
• Complexity of metric temporal logics with counting and the Pnueli modalities
• Expressive completeness of duration calculus.
• The complexity of propositional linear temporal logics in simple cases
• Model-checking dense-time duration calculus
• The dark side of interval temporal logic: marking the undecidability border
• Bounded variability of metric temporal logic
• Metric temporal reasoning with less than two clocks
• Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals
• A theory of sampling for continuous-time metric temporal logic
• Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
• Time-Bounded Verification
• From MITL to Timed Automata
• Some Recent Results in Metric Temporal Logic
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• MTL with Bounded Variability: Decidability and Complexity
• Towards a Theory of Time-Bounded Verification
• From Mtl to Deterministic Timed Automata
• The Complexity of Generalized Satisfiability for Linear Temporal Logic
• The complexity of propositional linear temporal logics
• Proving the Correctness of Multiprocess Programs
• A really temporal logic
• The benefits of relaxing punctuality
• Expressive Completeness for Metric Temporal Logic
• On the decidability and complexity of Metric Temporal Logic over finite words
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Computability of Recursive Functions
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computation Structures

This page was built for publication: Bounded variability of metric temporal logic