Revisiting completeness for the Kn modal logics: a new proof (Q4444913)
From MaRDI portal
scientific article; zbMATH DE number 2034272
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Revisiting completeness for the Kn modal logics: a new proof |
scientific article; zbMATH DE number 2034272 |
Statements
Revisiting completeness for the Kn modal logics: a new proof (English)
0 references
28 January 2004
0 references
relational frames
0 references
chromatic indices of hypergraphs
0 references
\(n\)-traces
0 references
completeness
0 references
modal logic
0 references
aggregation
0 references
