Semantical Analysis of Logic of Actions

DOI10.1093/LOGCOM/5.2.203zbMath0815.03012OpenAlexW2034643241MaRDI QIDQ4763535

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

validitypropositional temporal logic of actions

Mathematics Subject Classification ID

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

Related Items (1)

The power of the ``always operator in first-order temporal logic

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