On translations of temporal logic of actions into monadic second-order logic
From MaRDI portal
Publication:1127537
DOI10.1016/S0304-3975(97)00075-3zbMath0896.03026MaRDI QIDQ1127537
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B25: Decidability of theories and sets of sentences
03B80: Other applications of logic
Related Items
Cites Work