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

DOI10.1016/S0304-3975(97)00075-3MaRDI QIDQ1127537zbMATH OpenOpenAlexFDO

Authors 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

continuous timedecidabilitymonadic second order logictemporal logic of actions

Mathematics Subject Classification ID

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

Cites work

• Decidability of Second-Order Theories and Automata on Infinite Trees
• scientific article; zbMATH DE number 3427224 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1222565 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3365234 (Why is no real title available?)
• Restricted Set-Theoretical Definitions in Arithmetic
• The monadic theory of order

Cited in

(10)

• Automata over continuous time
• Finite variability interpretation of monadic logic of order
• Qualitative analysis of gene regulatory networks by temporal logic
• On the decidability of continuous time specification formalisms
• scientific article; zbMATH DE number 1361129 (Why is no real title available?)
• scientific article; zbMATH DE number 1487491 (Why is no real title available?)
• The taming (timing) of the states
• Semantical Analysis of Logic of Actions
• A Real-time Semantics of Temporal Logic of Actions
• scientific article; zbMATH DE number 810108 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127537)