On logics for coalgebraic simulation

MaRDI QIDQ2847807zbMATH OpenFDO

Authors Corina Cîrstea

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051692

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1497882
• A modular approach to defining and characterising notions of simulation
• A compositional approach to defining logics for coalgebras
• Simulations and bisimulations for coalgebraic modal logics
• On expressivity and compositionality in logics for coalgebras

Cited in

(8)

• A modular approach to defining and characterising notions of simulation
• A coalgebraic decision procedure for NetKAT
• On expressivity and compositionality in logics for coalgebras
• Simulations and bisimulations for coalgebraic modal logics
• Non-strongly stable orders also define interesting simulation relations
• Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• Logic-induced bisimulations

This page was built for publication: On logics for coalgebraic simulation

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