Invariance under stuttering in a temporal logic of actions

DOI10.1016/j.tcs.2006.06.020zbMath1171.68549OpenAlexW1994112979MaRDI QIDQ859839

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

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

Related Items (1)

Interleaving isotactics -- an equivalence notion on behaviour abstractions

Cites Work

• Stutter-invariant temporal properties are expressible without the next-time operator
• The existence of refinement mappings
• Characterizing finite Kripke structures in propositional temporal logic
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• An application of games to the completeness problem for formalized theories
• The Expressive Power of Temporal Logic of Actions
• Unnamed Item
• Unnamed Item
• Unnamed Item

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