The Expressive Power of Temporal Logic of Actions

DOI10.1093/logcom/12.5.839zbMath1011.03009OpenAlexW2146914143MaRDI QIDQ4779589

Arkady Estrin, Michael Kaminski

Publication date: 27 November 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/73fa839aebf7e6b723b2efed406e340f825a128d

zbMATH Keywords

invariance under stutteringtemporal logic of actionssecond-order temporal logictemporal interpretation

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Invariance under stuttering in a temporal logic of actions, LTL over integer periodicity constraints