Modeling Monty Hall in If Logic

We provide a game-theoretical solution to the Monty Hall problem, and its representation in IF-logic, a system of logic which is an extension of first-order logic with Independent Quantifiers. This solution has been originally proposed by Allen Mann, but here we focus more on the game-theoretical aspects and the philosophical significance.