scientific article; zbMATH DE number 810108

MaRDI QIDQ4853320zbMATH OpenFDO

Authors Y. S. Ramakrishna

Publication date 29 October 1995

zbMATH Keywords

concurrent systemstemporal logic of actions

Mathematics Subject Classification ID

General logic (03B99) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27)

Recommendations

• On translations of temporal logic of actions into monadic second-order logic
• scientific article; zbMATH DE number 1361129
• scientific article; zbMATH DE number 1487491
• scientific article; zbMATH DE number 910717
• The complexity of propositional linear temporal logics

Cited in

(5)

• On translations of temporal logic of actions into monadic second-order logic
• scientific article; zbMATH DE number 1487491 (Why is no real title available?)
• scientific article; zbMATH DE number 910717 (Why is no real title available?)
• Temporal stream logic modulo theories
• Interval logics and their decision procedures. I: An interval logic

This page was built for publication:

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