Game semantics for the constructive \mu-calculus

arXiv2308.16697MaRDI QIDQ6512759FDOQ6512759

Author name not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Intuitionistic mathematics (03F55)

This page was built for publication: Game semantics for the constructive $\mu$-calculus

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