Translating logics for coalgebras.

DOI10.1007/B94458MaRDI QIDQ5900833zbMATH OpenOpenAlexFDO

Authors Dirk Pattinson

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• An institution of modal logics for coalgebras
• Modalities in the Stone age: a comparison of coalgebraic logics
• Expressive logics for coalgebras via terminal sequence induction
• scientific article; zbMATH DE number 1753205
• Equational coalgebraic logic

Cited in

(7)

• Layered logics, coalgebraically
• An institution of modal logics for coalgebras
• On expressivity and compositionality in logics for coalgebras
• Predicate liftings versus nabla modalities
• The temporal logic of coalgebras via Galois algebras
• A coalgebraic view on reachability
• A compositional approach to defining logics for coalgebras

This page was built for publication: Translating logics for coalgebras.

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