Modal predicates and coequations

DOI10.1016/S1571-0661(04)80364-5MaRDI QIDQ2842557zbMATH OpenFDO

Authors Jiří Rosický, Alexander Kurz

Publication date 15 August 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80364-5

Mathematics Subject Classification ID

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

Recommendations

• Operations and equations for coalgebras
• Modal operators for coequations
• scientific article; zbMATH DE number 1735883
• scientific article; zbMATH DE number 1753205
• Equational coalgebraic logic

Cites work

• scientific article; zbMATH DE number 1688389 (Why is no real title available?)
• scientific article; zbMATH DE number 46168 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 3287759 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A final coalgebra theorem
• Algebraic theories and varieties of functor algebras
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Equational and implicational classes of coalgebras
• Equational axiomatizability for coalgebra
• From varieties of algebras to covarieties of coalgebras
• Functors for coalgebras
• Modal logic
• Quasi-Cotripleable Categories
• The Birkhoff theorem for finite algebras
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(10)

• scientific article; zbMATH DE number 1735883 (Why is no real title available?)
• Some co-Birkhoff type theorems
• Equational axiomatizability for coalgebra
• Stone coalgebras
• Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
• Modal operators for coequations
• Duality for coalgebras for Vietoris and monadicity
• Coequational logic for accessible functors
• Modals and ConditionalsNew and Revised Perspectives
• Mongruences and cofree coalgebras

This page was built for publication: Modal predicates and coequations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842557)