Game semantics for lattice-based modal {\mu}-calculus

MaRDI QIDQ6513784arXivFDO

Authors Yi Wen Ding, Krishna Manoorkar, Apostolos Tzimoulis

This page was built for publication: Game semantics for lattice-based modal {\mu}-calculus

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