A definition of the concept of "Intuitionist Modal Analogue" is presented and motivated through the existence of a theorem preserving translation from MIPC to a bimodal S₄-S₅ calculus.

A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.