Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
scientific article

    Statements

    Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (English)
    0 references
    0 references
    22 March 2011
    0 references
    many-dimensional modal logic
    0 references
    product of Kripke frames
    0 references
    product of modal logics
    0 references
    product of hybrid logics
    0 references
    pure completeness
    0 references
    \(T\times W\)-logic
    0 references
    \(T\times W\)-frames
    0 references

    Identifiers