On the decidability of continuous time specification formalisms

Alexander Rabinovich*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

29 Scopus citations

Abstract

We consider an interpretation of monadic second-order logic of order in the continuous time structure of finitely variable signals and show the decidability of monadic logic in this structure. The expressive power of monadic logic is illustrated by providing a straightforward meaning preserving translation into monadic logic of three typical continuous time specification formalism: temporal logic of reals, restricted duration calculus and the propositional fragment of mean value calculus. As a by-product of the decidability of monadic logic we obtain that the above formalisms are decidable even when extended by quantifiers.

Original languageEnglish
Pages (from-to)669-678
Number of pages10
JournalJournal of Logic and Computation
Volume8
Issue number5
DOIs
StatePublished - Oct 1998

Keywords

  • Decidability
  • Duration calculus
  • Monadic second-order logic
  • Temporal logic

Fingerprint

Dive into the research topics of 'On the decidability of continuous time specification formalisms'. Together they form a unique fingerprint.

Cite this