Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents (Q3656763)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
scientific article

    Statements

    Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents (English)
    0 references
    14 January 2010
    0 references
    linear temporal logic
    0 references
    modal logics
    0 references
    multi-agent logic
    0 references
    interacting agents
    0 references
    decidability
    0 references
    algorithms
    0 references
    inference rules
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references