TY  - RPRT
TI  - Game semantics for lattice-based modal μ-calculus
AU  - Yiwen Ding
AU  - Krishna Manoorkar
AU  - Mattia Panettiere
AU  - Apostolos Tzimoulis
AU  - Ruoding Wang
PY  - 2024
UR  - https://arxiv.org/abs/2310.13944
ID  - 2310.13944
ER  -