Complexity of products of modal logics (Q4242586)

From MaRDI portal
Revision as of 14:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 1286045
Language Label Description Also known as
English
Complexity of products of modal logics
scientific article; zbMATH DE number 1286045

    Statements

    Complexity of products of modal logics (English)
    0 references
    0 references
    27 September 2000
    0 references
    modal logic
    0 references
    product of modal logics
    0 references
    complexity
    0 references
    tiling
    0 references
    satisfaction problem
    0 references
    global satisfaction problem
    0 references
    product of Kripke frames
    0 references
    lower bounds
    0 references
    upper bounds
    0 references

    Identifiers