Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Coalgebraic modal logic: soundness, completeness and decidability of local consequence |
scientific article; zbMATH DE number 2110994
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic modal logic: soundness, completeness and decidability of local consequence |
scientific article; zbMATH DE number 2110994 |
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
