Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic modal logic: soundness, completeness and decidability of local consequence |
scientific article |
Statements
Coalgebraic modal logic: soundness, completeness and decidability of local consequence (English)
0 references
27 October 2004
0 references
finitary modal logics
0 references
coalgebras
0 references
coalgebraic modal logic
0 references
endofunctors
0 references
induction
0 references
