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

arXiv2310.13944MaRDI QIDQ6513784FDOQ6513784

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)