Modularity in coalgebra

zbMATH Open1276.68109MaRDI QIDQ2863891FDOQ2863891

Authors: Corina Cîrstea 

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004671?np=y

Recommendations

• Coalgebraic structures in module theory.
• Model structures for coalgebras
• Structurable coalgebras
• Modular construction of complete coalgebraic logics
• Coq Modulo Theory
• Coalgebraic models for combinatorial model categories
• Coalgebra and abstraction
• scientific article
• Combinatorial models for coalgebraic structures
• Module coalgebras and Morita-Takeuchi context.

zbMATH Keywords

simulationmodularitycoalgebracompletenessmodal logicexpressivenesssoundness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Cited In (8)

• Title not available (Why is that?)
• On institutions for modular coalgebraic specifications.
• CONCUR 2004 - Concurrency Theory
• Modular Algorithms for Heterogeneous Modal Logics
• An institution of modal logics for coalgebras
• Modular games for coalgebraic fixed point logics
• Modular construction of complete coalgebraic logics
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

This page was built for publication: Modularity in coalgebra

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