Multiagent temporal logics with multivaluations (Q1617988)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Multiagent temporal logics with multivaluations
scientific article

    Statements

    Multiagent temporal logics with multivaluations (English)
    0 references
    13 November 2018
    0 references
    multiagent logics
    0 references
    information
    0 references
    knowledge
    0 references
    temporal logic
    0 references
    multivaluations
    0 references
    satisfiability
    0 references
    deciding algorithms
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers