Game semantics for the constructive μ-calculus

08/31/2023

∙

by   Leonardo Pacheco, et al.

∙

0

∙

share

We define game semantics for the constructive μ-calculus and prove its correctness. We use these game semantics to prove that the μ-calculus collapses to modal logic over 𝖢𝖲5 frames. Finally, we prove the completeness of μ 𝖢𝖲5 over 𝖢𝖲5 frames.