Complexity results of STIT fragments (Q1928487)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity results of STIT fragments
scientific article

    Statements

    Complexity results of STIT fragments (English)
    0 references
    3 January 2013
    0 references
    STIT logic
    0 references
    Kripke structure
    0 references
    satisfiability problem
    0 references
    complexity
    0 references
    axiomatization
    0 references

    Identifiers