A Real-time Semantics of Temporal Logic of Actions

DOI10.1093/LOGCOM/13.6.921MaRDI QIDQ4812321zbMATH OpenOpenAlexFDO

Authors Michael Kaminski, Yael Yariv

Publication date 7 September 2004

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

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

zbMATH Keywords

invariance under stutteringtemporal logic of actionsreal-time temporal interpretations

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1693545
• A really temporal logic
• On translations of temporal logic of actions into monadic second-order logic
• A predicative semantics for the refinement of real-time systems
• scientific article; zbMATH DE number 1304997

Cited in

(7)

• Real-time specification and modeling with joint actions
• scientific article; zbMATH DE number 7453977 (Why is no real title available?)
• Reasoning about goal-directed real-time teleo-reactive programs
• scientific article; zbMATH DE number 1476493 (Why is no real title available?)
• Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
• Formal Modeling and Analysis of Timed Systems
• The Expressive Power of Temporal Logic of Actions

This page was built for publication: A Real-time Semantics of Temporal Logic of Actions

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