Dynamic logic versus GTS: a case study
Gabriel Sandu · Logical Investigations · 2013
In this paper I will compare several solutions to a well known puzzle: Monty Hall. This will enable us to illustrate varitous styles of logical reasoning, and in particular to compare dynamic logic with game-theoretical approaches.