Finite variability interpretation of monadic logic of order

DOI10.1016/S0304-3975(01)00126-8zbMath1026.68083OpenAlexW2060981909MaRDI QIDQ1606122

Alexander Rabinovich

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00126-8

zbMATH Keywords

definabilitymonadic logic of ordercontinuous time specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

Time-Bounded Verification ⋮ Automata and logics over finitely varying functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On translations of temporal logic of actions into monadic second-order logic
• Rabin's uniformization problem
• On the decidability of continuous time specification formalisms
• From finite automata toward hybrid systems (Extended abstract)
• Solving Sequential Conditions by Finite-State Strategies
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Finite variability interpretation of monadic logic of order