Invariance under stuttering in a temporal logic of actions (Q859839)

From MaRDI portal
Revision as of 15:04, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Invariance under stuttering in a temporal logic of actions
scientific article

    Statements

    Invariance under stuttering in a temporal logic of actions (English)
    0 references
    0 references
    22 January 2007
    0 references
    temporal logic of actions
    0 references
    temporal interpretations
    0 references
    invariance under stuttering
    0 references
    Ehrenfeucht--Fraïssé games
    0 references

    Identifiers