Modal Predicates and Coequations
Open Access
- 1 October 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 65 (1) , 156-175
- https://doi.org/10.1016/s1571-0661(04)80364-5
Abstract
No abstract availableKeywords
Funding Information
- Ministerstvo Školství, Mládeže a Tělovýchovy (MSM 143100009)
- Grantová Agentura České Republiky (201/01/0148)
This publication has 10 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Equational axiomatizability for coalgebraTheoretical Computer Science, 2001
- From Varieties of Algebras to Covarieties of CoalgebrasElectronic Notes in Theoretical Computer Science, 2001
- Semantical Principles in the Modal Logic of CoalgebrasPublished by Springer Nature ,2001
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Algebraic theories and varieties of functor algebrasFundamenta Mathematicae, 1983
- The Birkhoff theorem for finite algebrasAlgebra universalis, 1982
- Quasi-cotripleable categoriesProceedings of the American Mathematical Society, 1972
- An outline of functorial semanticsPublished by Springer Nature ,1969
- Some Aspects of Equational CategoriesPublished by Springer Nature ,1966