Game semantics for the constructive \mu-calculus

MaRDI QIDQ6512759arXivFDO

Authors

Published in arXiv

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)