Dynamic logic versus GTS: A case study


G.  Sandu


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.






Baltag, A., Moss, L., and S. Solecki, The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proceedings TARK, pp. 43–56, 1988.
Barbero, F., and G. Sandu, Signaling in Independence-friendly logic, forthcoming.
Van Benthem, J., Gerbrandy, J., and B. Kooi, Dynamic Update with Probabilities, Studia Logica 93(1):67–96, 2009.
Van Benthem, J., Conditional Probability Meets Update Logic, Journal of Logic, Language and Information 12(4):409–421, 2003.
Galliani, P., and G. Sandu, Games in Natural Language, in R. Verbruke, S. Gosh, and J. van Benthem (eds.), Handbook of Strategic Reasoning, Springer. fortchcoming.
Grinstead, Ch.M., and L. Snell, Introduction to Probabilities, American Mathematical Society, 1998 (second edition).
Hintikka, J., and G. Sandu, Informational Independence as a Semantic Phenomenon, in J.E. Fenstad et al. (eds.), Logic, Methodology and Philosophy of Science, vol. 8, Amserdam: Elsevier, 1989, pp. 571–589.
Hintikka, J., and G. Sandu, Game-Theoretical Semantics, in: J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997, pp. 361–410.
Hintikka, J., Principles of Mathematics Revisited, Cambridge, UK: Cambridge University Press, 1996.
Isaac, R., The Pleasures of Probabilities, Springer-Verlag, New York, 1995.
Mann, A.I., Sandu, G., and M. Sevenster, Independence-Friendly Logic: A Game-Theoretic Approach. Cambridge, UK: Cambridge University Press, 2011.
Van Rooij, R., Signalling Games Select Horn Strategies, in G. Katz, S. Reinhard, and Ph. Reuter (eds.), Sinn und Bedeutung VI, Proceedings of the Sixth Annual Meeting of the Geselschaft fur Semantik, University of Osnabruck, 2002, pp. 289–310.
Sandu, G., Game-Theoretical Semantics, in L. Horsten and R. Pettigrew (eds.), Continuum Companions to Philosophical Logic, 2011, pp. 251–300.
Sandu, G., Independence-Friendly Logic: Dependence and Independence of Quantifiers in Logic, Philosophy Compass 7 (10):691–711, 2012.
Sevenster, M., Branches of Imperfect Information: Logic, Games, and Computation, PhD Thesis, Amsterdam: University of Amsterdam, 2006.
Sevenster, M., and G. Sandu, Equilibrium Semantics of Languages of Imperfect Information, Annals of Pure and Applied Logic 161(5):618–631, 2010.
Tao, T., Printer-friendly CSS, 2007 and nonfirstoderisability, in Terence Tao, What’s new: Updates on my research and expository papers, discussion of open problems, and other maths related topics.