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
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