The Expressive Power of Temporal Logic of Actions

DOI10.1093/LOGCOM/12.5.839MaRDI QIDQ4779589zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1361129
• scientific article; zbMATH DE number 1222565
• On the expressive power of temporal logic
• scientific article; zbMATH DE number 1927553
• Reasoning about actions in dynamic linear time temporal logic
• scientific article; zbMATH DE number 140396
• A Real-time Semantics of Temporal Logic of Actions
• On the expressiveness of temporal logic programming
• Executable temporal logics
• Logics of temporal-epistemic actions

Cited in

(11)

• Semantical Analysis of Logic of Actions
• Invariance under stuttering in a temporal logic of actions
• Reasoning about actions with Temporal Answer Sets
• scientific article; zbMATH DE number 1476493 (Why is no real title available?)
• Invariance under stuttering in a temporal logic without the ``until operator
• Reasoning about temporal properties of rational play
• LTL over integer periodicity constraints
• Temporal logic can be more expressive
• On the semantics of durational actions
• Modelling causality via action dependencies in branching time semantics
• scientific article; zbMATH DE number 1222565 (Why is no real title available?)

This page was built for publication: The Expressive Power of Temporal Logic of Actions

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