Modal Predicates and Coequations

DOI10.1016/S1571-0661(04)80364-5zbMath1270.18016MaRDI QIDQ2842557

Jiří Rosický, Alexander Kurz

Publication date: 15 August 2013

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (3)

Stone coalgebras ⋮ Some Co-Birkhoff Type Theorems ⋮ Factorization systems and fibrations

Cites Work

• The Birkhoff theorem for finite algebras
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Algebraic theories and varieties of functor algebras
• Quasi-Cotripleable Categories
• From Varieties of Algebras to Covarieties of Coalgebras
• A final coalgebra theorem
• Equational and implicational classes of coalgebras
• Equational axiomatizability for coalgebra
• Functors for coalgebras
• 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 Predicates and Coequations