STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS (Q5390017)
From MaRDI portal
scientific article; zbMATH DE number 6027256
Language | Label | Description | Also known as |
---|---|---|---|
English | STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS |
scientific article; zbMATH DE number 6027256 |
Statements
24 April 2012
0 references
logic in computer science
0 references
semantics
0 references
deduction
0 references
modal logic
0 references
coalgebra
0 references
STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS (English)
0 references