Modal Operators for Coequations

DOI10.1016/S1571-0661(04)80909-5zbMath1260.68241MaRDI QIDQ4917039

Jesse Hughes

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational categories (18C05) Categories of algebras (08C05)

Related Items (4)

Some Co-Birkhoff Type Theorems ⋮ Comprehension for Coalgebras ⋮ Factorization systems and fibrations ⋮ Coequational Logic for Finitary Functors

Uses Software

• CCSL

Cites Work

• The temporal logic of coalgebras via Galois algebras
• Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
• Modal Rules are Co-Implications
• Invariants of monadic coalgebras
• From Algebras and Coalgebras to Dialgebras
• Mongruences and cofree coalgebras
• Equational axiomatizability for coalgebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal Operators for Coequations