Modularity in coalgebra

MaRDI QIDQ2863891zbMATH OpenFDO

Authors Corina Cîrstea

Publication date 4 December 2013

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

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)

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; zbMATH DE number 5688450
• Combinatorial models for coalgebraic structures
• Module coalgebras and Morita-Takeuchi context.

Cited in

(8)

• Modular games for coalgebraic fixed point logics
• CONCUR 2004 - Concurrency Theory
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• scientific article; zbMATH DE number 2087424 (Why is no real title available?)
• Modular Algorithms for Heterogeneous Modal Logics
• On institutions for modular coalgebraic specifications.
• An institution of modal logics for coalgebras
• Modular construction of complete coalgebraic logics

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)