Modal predicates and coequations

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

KURZ A. ROSICKÝ J.

Year of publication 2002
Type Article in Periodical
Magazine / Source Electronic Notes in Theoretical Computer Science
MU Faculty or unit

Faculty of Science

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:

You are running an old browser version. We recommend updating your browser to its latest version.