Semantical Analysis of Logic of Actions

DOI10.1093/LOGCOM/5.2.203MaRDI QIDQ4763535zbMATH OpenOpenAlexFDO

Authors Michael Tiomkin, Michael Kaminski

Publication date 17 April 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/5.2.203

zbMATH Keywords

propositional temporal logic of actionsvalidity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1361129
• The Expressive Power of Temporal Logic of Actions
• The power of the ``always operator in first-order temporal logic
• On translations of temporal logic of actions into monadic second-order logic
• scientific article; zbMATH DE number 910717

Cited in

(3)

• Logics and decidability for labelled pre- and partially ordered Kripke structures
• The power of the ``always operator in first-order temporal logic
• scientific article; zbMATH DE number 1361129 (Why is no real title available?)

This page was built for publication: Semantical Analysis of Logic of Actions

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