On translations of temporal logic of actions into monadic second-order logic

DOI10.1016/S0304-3975(97)00075-3zbMath0896.03026OpenAlexW2000555599MaRDI QIDQ1127537

Alexander Rabinovich

Publication date: 13 August 1998

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00075-3

zbMATH Keywords

decidabilitycontinuous timemonadic second order logictemporal logic of actions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Decidability of theories and sets of sentences (03B25) Other applications of logic (03B80)

Related Items (3)

Automata over continuous time ⋮ Finite variability interpretation of monadic logic of order ⋮ Qualitative analysis of gene regulatory networks by temporal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The monadic theory of order
• Restricted Set-Theoretical Definitions in Arithmetic
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: On translations of temporal logic of actions into monadic second-order logic