Modal Predicates and Coequations
From MaRDI portal
Publication:2842557
DOI10.1016/S1571-0661(04)80364-5zbMath1270.18016MaRDI QIDQ2842557
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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