Finite variability interpretation of monadic logic of order

A. Rabinovich*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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
Issue number1-2
StatePublished - 28 Mar 2002


  • Continuous time specification
  • Definability
  • Monadic logic of order


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

Cite this