Quantification over sets of possible worlds in branching-time semantics (Q2500778)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantification over sets of possible worlds in branching-time semantics
scientific article

    Statements

    Quantification over sets of possible worlds in branching-time semantics (English)
    0 references
    0 references
    18 August 2006
    0 references
    temporal logics
    0 references
    branching time
    0 references
    possible-worlds semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers