Modal predicates and coequations
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Periodical |
| Magazine / Source | Electronic Notes in Theoretical Computer Science |
| MU Faculty or unit | |
| Citation | |
| Field | General mathematics |
| Keywords | coalgebra; coequation |
| Description | We show that coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic. |
| Related projects: |