Products of modal logics, part 1 (Q4380448)
From MaRDI portal
scientific article; zbMATH DE number 1129208
Language | Label | Description | Also known as |
---|---|---|---|
English | Products of modal logics, part 1 |
scientific article; zbMATH DE number 1129208 |
Statements
Products of modal logics, part 1 (English)
0 references
30 July 2000
0 references
multidimensional modal logics
0 references
products of Kripke frames
0 references
axiomatizability
0 references
finite model property
0 references
decidability
0 references
finite depth models
0 references
normal forms
0 references
filtration
0 references
survey
0 references
products of modal logics
0 references