Modal predicates and coequations

KURZ, A. and J. ROSICKÝ. Modal predicates and coequations. Electronic Notes in Theoretical Computer Science. 2002, vol. 65, No 1, p. 39-58. ISSN 1571-0661.

Basic information

Original name

Modal predicates and coequations

Authors

KURZ, A. (276 Germany) and J. ROSICKÝ (203 Czech Republic, guarantor)

Edition

Electronic Notes in Theoretical Computer Science, 2002, 1571-0661

---

Other information

Language

English

Type of outcome

Article in a journal

Field of Study

10101 Pure mathematics

Country of publisher

United States of America

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14310/02:00006469

Organization unit

Faculty of Science

Keywords in English

coalgebra; coequation

Tags

coalgebra, coequation

---

Abstract

In the original language

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.

---

Links

GA201/02/0148, research and development project	Name: Kategoriální metody teorie struktur a informatiky Investor: Czech Science Foundation, Categorical Methods of the Theory of Structures and Computer Science
MSM 143100009, plan (intention)	Name: Matematické struktury algebry a geometrie Investor: Ministry of Education, Youth and Sports of the CR, Mathematical structures of algebra and geometry