TY - JOUR
T1 - Finite variability interpretation of monadic logic of order
AU - Rabinovich, A.
PY - 2002/3/28
Y1 - 2002/3/28
N2 - 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.
AB - 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.
KW - Continuous time specification
KW - Definability
KW - Monadic logic of order
UR - http://www.scopus.com/inward/record.url?scp=0037187380&partnerID=8YFLogxK
U2 - 10.1016/S0304-3975(01)00126-8
DO - 10.1016/S0304-3975(01)00126-8
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0037187380
SN - 0304-3975
VL - 275
SP - 111
EP - 125
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 1-2
ER -