Finite variability interpretation of monadic logic of order

Research output: Contribution to journalArticlepeer-review

Abstract

We consider an interpretation of monadic second-order logic of order in the continuous time structure of finitely variable signals. We provide a characterization of the expressive power of monadic logic. As a by-product of our characterization we show that many fundamental theorems which hold in the discrete time interpretation of monadic logic are still valid in the continuous time interpretation.

Original languageEnglish
Pages (from-to)111-125
Number of pages15
JournalTheoretical Computer Science
Volume275
Issue number1-2
DOIs
StatePublished - 28 Mar 2002

Keywords

  • Continuous time specification
  • Definability
  • Monadic logic of order

Fingerprint

Dive into the research topics of 'Finite variability interpretation of monadic logic of order'. Together they form a unique fingerprint.

Cite this