On the decidability of continuous time specification formalisms
From MaRDI portal
Publication:4221299
DOI10.1093/logcom/8.5.669zbMath0913.03018OpenAlexW2088312079MaRDI QIDQ4221299
Publication date: 7 June 1999
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/90de47e81e2e971c6ae94ba82153d2bac0b7b50e
monadic second-order logicdecidabilityduration calculuscontinuous timepropositional fragment of mean-value calculustemporal logic of reals
Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
A duration calculus with neighborhood modalities ⋮ Metric temporal reasoning with less than two clocks ⋮ SMT-based satisfiability of first-order LTL with event freezing functions and metric operators ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ HRELTL: a temporal logic for hybrid systems ⋮ The complexity of temporal logic over the reals ⋮ Unnamed Item ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Timer formulas and decidable metric temporal logic ⋮ A first order logic for specification of timed algorithms: Basic properties and a decidable class ⋮ Decidable metric logics ⋮ Expressive completeness of duration calculus. ⋮ \textsc{LTL} falsification in infinite-state systems ⋮ Decidability of a Hybrid Duration Calculus ⋮ Finite variability interpretation of monadic logic of order
This page was built for publication: On the decidability of continuous time specification formalisms
