Operations and equations for coalgebras

DOI10.1017/S0960129504004402zbMath1066.08005OpenAlexW2008168440MaRDI QIDQ4657753

Jiří Rosický, Alexander Kurz

Publication date: 14 March 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129504004402

zbMATH Keywords

modal logiccoalgebrabehavioural equivalencecoequationcovariety

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (1)

Duality of Equations and Coequations via Contravariant Adjunctions

This page was built for publication: Operations and equations for coalgebras