Invariance under stuttering in a temporal logic of actions
From MaRDI portal
Publication:859839
DOI10.1016/j.tcs.2006.06.020zbMath1171.68549MaRDI QIDQ859839
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
Ehrenfeucht--Fraïssé games; invariance under stuttering; temporal interpretations; temporal logic of actions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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