Layered logics, coalgebraically

DOI10.1007/978-3-319-73579-5_4MaRDI QIDQ1742620zbMATH OpenOpenAlexFDO

Authors L. S. Barbosa

Publication date 12 April 2018

Full work available at URL http://hdl.handle.net/1822/69290

zbMATH Keywords

hierarchical modelscoalgebralayered logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Recommendations

• Translating logics for coalgebras.
• Coalgebraic logic
• On a coalgebraic view on logic
• Equational coalgebraic logic
• Modalities in the Stone age: a comparison of coalgebraic logics

Cited in

(1)

• Coalgebraic Announcement Logics

This page was built for publication: Layered logics, coalgebraically

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