Bisimulation for impure simplicial complexes

MaRDI QIDQ6967404zbMATH OpenFDO

Authors Marta Bílková, Hans van Ditmarsch, Roman Kuznets

Publication date 26 June 2025

zbMATH Keywords

bisimulationcrashing agentsepistemic logicsimplicial complexes

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

This page was built for publication: Bisimulation for impure simplicial complexes

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