, Volume 151, Issue 2, pp 201–232 | Cite as

The Secret of My Success

  • Hans Van Ditmarsch
  • Barteld KooiEmail author


In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is ‘fact p is true and you don’t know that’, after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given information state is called an unsuccessful update. A successful formula is a formula that always becomes common knowledge after being announced. Analysis of information systems and ‘philosophical puzzles’ reveals a growing number of dynamic phenomena that can be described or explained by unsuccessful updates. This increases our understanding of such philosophical problems. We also investigate the syntactic characterization of the successful formulas.


Epistemic State Belief Revision Epistemic Logic Public Announcement Dynamic Epistemic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alchourrón, C.E., Gärdenfors, P., Makinson, D. 1985‘On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision’Journal of Symbolic Logic50510530CrossRefGoogle Scholar
  2. Baltag A., Moss L, Solecki S, (2003), ‘The Logic of Public Announcements, Common Knowledge and Private Suspicions’, Manuscript, originally presented at TARK 98.Google Scholar
  3. Barwise, J. 1981‘Scenes and other Situations’Journal of Philosophy78369397CrossRefGoogle Scholar
  4. Fagin, R., Halpern, J, Moses, Y, Vardi, M 1995Reasoning About KnowledgeMIT PressCambridge. MassachusettsGoogle Scholar
  5. Freudenthal, H. 1969‘Stating of the Sum-and-Product Problem’Nieuw Archief voor Wiskunde (New Archive of Mathematics)17152Google Scholar
  6. Gamow, G., Stern, M 1958Puzzle-MathMacmillanLondonGoogle Scholar
  7. Gärdenfors, P. 1988Knowledge in FluxModeling the Dynamics of Epistemic StatesMIT PressGoogle Scholar
  8. Gerbrandy, J.: (1999), Bisimulations on Planet Kripke, Ph.D. thesis, University of Amsterdam. ILLC Dissertation Series DS-1999-01.Google Scholar
  9. Hintikka, J. 1962Knowledge and Belief, An Introduction to the Logic of the Two NotionsCornell University PressIthaca & LondonGoogle Scholar
  10. Kahn, C.H. 1979The Art and Thought of HeraclitusCambridge University PressCambridgeGoogle Scholar
  11. Kirkman, T. 1847‘On a Problem in Combinations’Cambridge and Dublin Mathematics Journal2191204Google Scholar
  12. Kvanvig, J.L. 1998‘Paradoxes, Epistemic’Craig, E eds. Routledge Encyclopedia of Philosophy, Vol 7RoutledgeLondon211214Google Scholar
  13. Makarychev, K., Makarychev, Y 2001‘The Importance of Being Formal’Mathematical Intelligencer234142CrossRefGoogle Scholar
  14. McCarthy, J.: (1990), ‘Formalization of Two Puzzles Involving Knowledge’, In V. Lifschitz (ed.), Formalizing Common Sense: Papers by John McCarthy, Ablex Series in Artificial Intelligence, Ablex Publishing Corporation, Norwood, NJ. Available online at Scholar
  15. Moses, Y.O., Dolev, D, Halpern, J.Y. 1986‘Cheating Husbands and other Stories: A Case Study in Knowledge Action and Communication’Distributed computing1167176CrossRefGoogle Scholar
  16. O’Connor, D.J. 1948‘Pragmatic Paradoxes’Mind57358359Google Scholar
  17. Plaza J. (1989), ‘Logics of Public Communications’, In Emrich M, Pfeifer M, M.~Hadzikadic and Ras Z, (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, 201–216.Google Scholar
  18. Quine, W.V.O. 1953‘On a So-called Paradox’Mind626567Google Scholar
  19. Scriven, M. 1951‘Paradoxical Announcements’Mind60403407Google Scholar
  20. Sorensen, R.A. 1988BlindspotsClarendon PressOxfordGoogle Scholar
  21. van Benthem, J. F. A. K.: (2002), ‘One is a Lonely Number’: On the Logic of Communication’, To be published in the Proceedings of the Logic Colloquium 2002.Google Scholar
  22. van Ditmarsch, H. P.: (2000), Knowledge games, Ph.D. thesis, University of Groningen. ILLC Dissertation Series DS-2000-06.Google Scholar
  23. Ditmarsch, H.P. 2002‘The Description of Game Actions in Cluedo’Petrosian, L.Mazalov, V eds. Game Theory and Applications, Vol 8.Nova Science Publishers CommackNY USA128Google Scholar
  24. Ditmarsch, H.P. 2003‘The Russian Cards Problem’Studia Logica753162CrossRefGoogle Scholar
  25. van Ditmarsch H.P., van der Hoek W., Kooi B.P. (2005), ‘Dynamic Epistemic Logic’, Manuscript.Google Scholar
  26. Weiss, P. 1952‘The Prediction Paradox’Mind61265269Google Scholar

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.Computer ScienceUniversity of OtagoDunedinNew Zealand
  2. 2.PhilosophyUniversity of GroningenGroningenThe Netherlands

Personalised recommendations