On the decidability of continuous time specification formalisms

DOI10.1093/LOGCOM/8.5.669MaRDI QIDQ4221299zbMATH OpenOpenAlexFDO

Authors Alexander Rabinovich

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

zbMATH Keywords

continuous timedecidabilityduration calculusmonadic second-order logicpropositional fragment of mean-value calculustemporal logic of reals

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Decidable metric logics
• Finite variability interpretation of monadic logic of order
• Timer formulas and decidable metric temporal logic
• On translations of temporal logic of actions into monadic second-order logic

Cited in

(17)

• The complexity of the temporal logic with ``until over general linear time
• Proving properties of continuous systems: Qualitative simulation and temporal logic
• Finite variability interpretation of monadic logic of order
• Timer formulas and decidable metric temporal logic
• Expressive completeness of duration calculus.
• \textsc{LTL} falsification in infinite-state systems
• SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
• Decidability of a hybrid duration calculus
• A duration calculus with neighborhood modalities.
• Metric temporal reasoning with less than two clocks
• Linear-time temporal logic with event freezing functions
• Quantifier-free encoding of invariants for hybrid systems
• Justification announcements in discrete time. Part II: Frame definability results
• A first order logic for specification of timed algorithms: Basic properties and a decidable class
• The complexity of temporal logic over the reals
• HRELTL: a temporal logic for hybrid systems
• Decidable metric logics

This page was built for publication: On the decidability of continuous time specification formalisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4221299)