Complexity of products of modal logics (Q4242586): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W1978169673 / rank
 
Normal rank

Latest revision as of 01:23, 20 March 2024

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