Invariance under stuttering in a temporal logic of actions

DOI10.1016/J.TCS.2006.06.020MaRDI QIDQ859839zbMATH OpenOpenAlexFDO

Authors Michael Kaminski

Publication date 22 January 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.06.020

zbMATH Keywords

Ehrenfeucht--Fraïssé gamesinvariance under stutteringtemporal interpretationstemporal logic of actions

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Invariance under stuttering in a temporal logic without the ``until operator
• The Expressive Power of Temporal Logic of Actions
• scientific article; zbMATH DE number 1487491
• scientific article; zbMATH DE number 2102709
• On closure under stuttering

Cites work

• An application of games to the completeness problem for formalized theories
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• Characterizing finite Kripke structures in propositional temporal logic
• scientific article; zbMATH DE number 3115890 (Why is no real title available?)
• scientific article; zbMATH DE number 1487491 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• Stutter-invariant temporal properties are expressible without the next-time operator
• The existence of refinement mappings
• The Expressive Power of Temporal Logic of Actions

Cited in

(7)

• Interleaving isotactics -- an equivalence notion on behaviour abstractions
• Specification languages for stutter-invariant regular properties
• scientific article; zbMATH DE number 1948168 (Why is no real title available?)
• scientific article; zbMATH DE number 1487491 (Why is no real title available?)
• scientific article; zbMATH DE number 2102709 (Why is no real title available?)
• Invariance under stuttering in a temporal logic without the ``until operator
• A note on stutter-invariant PLTL

This page was built for publication: Invariance under stuttering in a temporal logic of actions

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