Publications of Hans van Ditmarsch
page needs an update!
2011 (2012, and to appear)
- Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi. Local Properties in Modal Logic. Artificial Intelligence. To appear (2012).
- Hans van Ditmarsch, Jerome Lang, Abdallah Saffidine. Strategic voting and the logic of knowledge (poster). Proceedings of AAMAS 2012 Valencia. To appear.
- Hans van Ditmarsch, Tim French, Fernando Velazquez-Quesada.
Action models for knowledge and awareness. Proceedings of AAMAS 2012 Valencia. To appear.
- Ignacio Hernandez, Fernando Soler Toscano, Hans van Ditmarsch. Unconditionally secure protocols with genetic algorithms. Proceedings of PAAMS workshop Multi-Agent Systems for Safety and Security (PAAMS_SS5_MASSS). To appear.
- Hans van Ditmarsch, Jan van Eijck, Ignacio Hernandez Anton, Floor Sietsma, Sunil Simon, Fernando Soler Toscano. Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. Proceedings of PAAMS workshop Multi-Agent Systems for Safety and Security (PAAMS_SS5_MASSS). To appear.
- Thomas Agotnes, Johan van Benthem, Hans van Ditmarsch, and Stefan Minica. Question-Answer Games. Journal of Applied Non-Classical Logics. To appear.
- Hans van Ditmarsch. Review - Johan van Benthem: Modal Logic for Open Minds. Studia Logica. To appear.
- Hans van Ditmarsch and Pablo Seban. A Logical Framework for Individual Permissions on Private Announcements. In: Logic of Knowledge. Theory and Applications. College Publications. To appear.
- Hans van Ditmarsch, Andreas Herzig, Tiago de Lima. Public announcements, public assignments and the complexity of their logic. Journal of Applied Non-Classical Logics. To appear.
- Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Playing cards with Hintikka. An introduction to dynamic epistemic logic. SEFA Workshop with Jaakko Hintikka, Granada, November 24-26, 2011. (Same as article in: Australasian Journal of Logic 3:108-134, 2005.)
- Hans van Ditmarsch, David Fernandez Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda Aciego (editors), 7th workshop Methods for Modalities - Proceedings. ENTCS, Elsevier Science, to appear 2011.
- Hans van Ditmarsch and Tim French, On the dynamics of awareness and certainty, 24th Australasian Joint Conference on Artificial Intelligence (AI 11), LNAI, Springer. To appear 2011.
- Hans van Ditmarsch, Wiebe van der Hoek and Petar Iliev, Everything is knowable , Theoria. To appear.
- Hans van Ditmarsch, Wiebe van der Hoek, and Ji Ruan, Connecting Dynamic Epistemic and Temporal Epistemic Logics. Journal of the IGPL. To appear.
- H. van Ditmarsch, R. Ramanujam, and R. Parikh (editors), Special Issue Logic in India, Journal of Philosophical Logic, 2011. To appear.
- Hans van Ditmarsch, The Ditmarsch Tale of Wonders - Dynamics of lying (poster presentation). In: J. van Eijck and R. Verbrugge, Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives, CEUR Workshop Proceedings volume 751, 2011.
- Hans van Ditmarsch and Fernando Soler-Toscano, Three Steps. In: J. Leite, P. Torroni, T. Agotnes, G. Boella, and L. van der Torre (editors), Computational Logic in Multi-Agent Systems (Proceedings of CLIMA XII), LNCS 6814, pages 41-57, Springer, 2011.
- Hans van Ditmarsch, David Fernandez Duque, and Wiebe van der Hoek, On the definability of simulability and bisimilarity by finite epistemic models. In: J. Leite, P. Torroni, T. Agotnes, G. Boella, and L. van der Torre (editors), Computational Logic in Multi-Agent Systems (Proceedings of CLIMA XII), LNCS 6814, pages 74-87, Springer, 2011.
- Hans van Ditmarsch, Jerome Lang, and Shier Ju (editors), Logic, Rationality, and Interaction - Third International Workshop. Proceedings (LORI 2011). LNAI 6953, Springer, 2011.
- Hans van Ditmarsch, Tiago de Lima and Emiliano Lorini, Intention change via local assignments. In: M. Dastani and A. El Fallah Seghrouchni and J. Hübner and J. Leite (editors), Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010. Revised Selected Papers, Springer, LNAI 6822, pages 136-151, 2011.
- M.H. Albert and A. Cordón and H. van Ditmarsch and D. Fernández and J.J. Joosten and F. Soler, Secure communication of local states in interpreted systems. In: A. Abraham, J. Corchado, S. González and J. De Paz Santana (editors), International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2011), Advances in Intelligent and Soft Computing, Vol. 91, pages 117-124, Springer, 2011.
- Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang, Hidden protocols. In: K.R. Apt (editor): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), pages 65-74, ACM, 2011.
- Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi, Reasoning about Local Properties in Modal Logic. In: K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors), Proceedings of 10th Int. Conf. on Autonomous Agents and Multiagent
Systems (AAMAS 2011), pages 711-718, 2011.
- Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano (editors), Tools for Teaching Logic - Third International Congress - Proceedings (TICTTL 2011) . LNCS 6680, Springer, 2011.
- Hans van Ditmarsch and Rineke Verbrugge, The rules of the game are changing: scientific impact factors and publication strategies among logicians. (An editorial sort of contribution called 'letter'.) Journal of Logic and Computation 21(2): 121-132, 2011.
- Hans van Ditmarsch and Tim French, Becoming aware of propositional variables . In: M. Banerjee and A. Seth (editors): ICLA 2011, LNAI 6521, pages 204-218, Springer, 2011.
- H.P. van Ditmarsch, J. van Eijck, F. Sietsma and Y. Wang,
On the logic of lying . In: J. van Eijck and R. Verbrugge (eds.), Games, Actions and Social Software, Texts in Logic and Games, LNAI-FoLLI, Springer. To appear in 2011.
- Philippe Balbiani, Pablo Seban, Reasoning about permitted announcements . Journal of Philosophical Logic 40(4): 445-472, 2011. Special issue "Logical Methods for Social Concepts". (Hans van Ditmarsch has withdrawn as an author from this publication as he is a JPL editor.)
- Thomas Agotnes and Hans van Ditmarsch, What will they say? - Public announcement games . Knowledge, Rationality & Action (Synthese) 179(supplement-1): 57-85, 2011.
- Hans van Ditmarsch and Andreas Herzig and Tiago de Lima, From Situation Calculus to Dynamic Epistemic Logic. Journal of Logic and Computation 21(2): 179-204, 2011. Published online in 2010.
2010
- Hans van Ditmarsch, Francisco J. Salguero Lamillar, Fernando Soler Toscano (Editors), Liber Amicorum Angel Nepomuceno - Homenaje en su sexagésimo cumpleaños , Editorial Fénix, 2010.
- Hans van Ditmarsch, An example of voting with uncertain preferences . In: Hans van Ditmarsch, Francisco J. Salguero Lamillar, Fernando Soler Toscano (Editors), Liber Amicorum Angel Nepomuceno - Homenaje en su sexagéimo cumpleaños , pages 41-48, Editorial Fénix, 2010.
- Emiliano Lorini, Hans van Ditmarsch & Tiago de Lima, Intention change via local assignments, Proceedings of EUMAS 2010. (Extended version of the ECAI 2010 poster/paper below.) To appear.
- Hans van Ditmarsch, Jan van Eijck, and William Wu, Verifying one hundred prisoners and a lightbulb , Journal of Applied Non-classical logics 20(3): 173-191, 2010.
- Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Emilio Gomez-Caminero, Angel Nepomuceno-Fernandez, Two mischievous dynamic consequence relations . In: X. Arrazola and M. Ponte, Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pages 197-208. University of the Basque Country Press, Zarautz, Spain, 2010.
- Hans van Ditmarsch, 5 Questions. In: V.F. Hendricks and O. Roy (editors), Epistemic Logic - 5 questions, pages 73-82, Automatic Press, 2010.
- Michael Albert, Andres Cordon-Franco, Hans van Ditmarsch, David Fernandez-Duque, Joost J Joosten and Fernando Soler-Toscano, Secure communication of local states in multi-agent systems . D. Gabbay & L. van der Torre (editors), (Informal) Proceedings of ESSLLI 2010 Kopenhagen workshop Logics in Security.
- Hans van Ditmarsch and Tim French, Becoming Aware . (Informal) Proceedings of Advances in Modal Logic (short paper), Moscow 2010.
- Hans van Ditmarsch, Tim French, and Sophie Pinchinat Future Event Logic - axioms and complexity . In: L. Beklemishev, V. Goranko and V. Shehtman, Advances in Modal Logic, Volume 8, pages 77-99. College Publications, 2010.
- Emiliano Lorini, Hans van Ditmarsch and Tiago de Lima, A Logical Model of Intention and Plan Dynamics . In: H. Coelho and R. Studer and M. Wooldridge, Proceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, Volume 215, pages 1075-1076, IOS Press, 2010.
- Thomas Agotnes, Johan van Benthem, Hans van Ditmarsch, and Stefan Minica, Question-answer games . (Informal) Proceedings of LOFT 2010, Toulouse.
- Hans van Ditmarsch, Jan van Eijck, and William Wu, One hundred prisoners and a lightbulb - logic and computation . In: F. Lin and U. Sattler and M. Truszczynski (editors), Proceedings of KR (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference), AAAI Press, 2010.
- Hans van Ditmarsch and Tim French, Becoming Aware . (Informal) Proceedings of 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS), Toronto, pages 90-100, 2010.
- Hans van Ditmarsch, Review of: Joe Salerno (editor), New Essays on the Knowability Paradox , Theoria 76(3): 270-273, 2010.
- P. Balbiani, H.P. van Ditmarsch, A. Herzig, T. de Lima, Tableaux for public announcement logic , Journal of Logic and Computation 20(1): 55-76, 2010. Special issue TABLEAUX 2007. Published online in 2008.
- Thomas Agotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban, Group announcement logic . Journal of Applied Logic 8: 62-81, 2010. Published online in July 2009.
2009
- Philippe Balbiani, Hans van Ditmarsch, and Jan van Eijck (editors), Special issue Logic for Information Security - Editorial . Journal of Applied Non-Classical Logics 19(4): 397-401, 2009.
- Hans van Ditmarsch and Angel Nepomuceno, Abducción y revisión de creencias . In: J. Alcolea, V. Iranzo, A. Sánchez and J. Valor, Actas del VI Congreso de la Sociedad de Lógica Metodología y Filosofía de la Ciencia en Espana , pages 47-51. Universitat de València, 2009.
- Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig and John-Jules Ch. Meyer, Intentions and Assignments . In: Xiangdong He, John F. Horty and Eric Pacuit (editors), Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China. LNCS 5834, pages 198-211, Springer, 2009.
- Hans van Ditmarsch and Lawrence S. Moss (editors), Special issue on the occasion of Johan van Benthem's 60th birthday . Journal of Philosophical Logic 38:587-588, 2009.
- Hans van Ditmarsch and Brian Hill and Ondrej Majer (editors), Logic of change, change of logic . Synthese 171:227-234, 2009.
- Hans van Ditmarsch and Tim French, Awareness and forgetting of facts and agents . In: P. Boldi and G. Vizzari and G. Pasi and R. Baeza-Yates, Proceedings of WI-IAT Workshops 2009, pages 478-483, IEEE Press, 2009. (Workshop WLIAMAS.)
- Hans van Ditmarsch and Tim French, Awareness and forgetting of facts and agents , Dagstuhl Seminar Proceedings 09351 . (Slightly longer version of the WLIAMAS workshop paper.)
- Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Knowing more - from global to local correspondence . In: C. Boutilier (editor), Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA, pages 955-960, 2009.
- H.P. van Ditmarsch and T. French, Simulation and information. In: J. Broersen and J.-J. Meyer, Knowledge Representation for Agents and Multi-Agent Systems (Proceedings of KRAMAS 2008, Sydney, Australia) , pages 51-65. LNAI 5605, Springer, 2009.
- Thomas Agotnes and Hans van Ditmarsch, What will they say? - Public Announcement Games . Proceedings of: Logic, game theory and social choice 6, Tsukuba, Japan, 2009. Available from http://www.tcer.or.jp/wp/ .
- Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban, Reasoning about permitted announcements . Proceedings of: ESSLLI 2009 workshop Logical Methods for Social Concepts, Bordeaux, France, 2009.
- Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban, Raisonnements sur la permission de dire . Proceedings of: Cinquièmes Journées Francophones MODÈLES FORMELS de l'INTERACTION, Lannion, France, 2009.
- Johan van Benthem, Hans van Ditmarsch, and Jan van Eijck, Logica in Actie , Academic Service, Sdu Uitgevers, Den Haag, NL, 2009.
- Thomas Agotnes and Hans van Ditmarsch, But what will everyone say? - Public Announcement Games . Workshop on Reasoning about Knowledge and Rational Action in honour of Professor Wiebe van der Hoek on his 50th birthday (Wiebe Fest 2009), Liverpool 2009. (Similar to the later version presented at LGS Tsukuba)
- H. van Ditmarsch, A. Herzig, J. Lang, and P. Marquis, Introspective forgetting . Synthese (Knowledge, Rationality & Action) 169(2):405-423, 2009.
- Mike Atkinson, Hans van Ditmarsch, and Sigrid Roehling, Avoiding bias in cards cryptography , Australasian Journal of Combinatorics 44:3-17, 2009.
- Hans van Ditmarsch, Jan van Eijck, and Rineke Verbrugge, Publieke Werken: Breinbrouwsels over Sommen en Producten . Nieuw Archief voor Wiskunde (in Dutch), volume 5/10, number 2, pages 126-131, 2009.
- Hans van Ditmarsch, Jan van Eijck, and Rineke Verbrugge, Common Knowledge and Common Belief . In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 99-122. Amsterdam University Press, 2009.
2008
- A. Baltag, H.P. van Ditmarsch, L.S. Moss, Epistemic logic and Information Update . In: P. Adriaans & J.F.A.K. van Benthem, Handbook on the Philosophy of Information , pages 361-456, Elsevier Science Publishers, 2008.
- P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, Arbitrary Announcement Logic (abstract, pages 438-439). In: G. Restall (editor), Proceedings of AAL 2007, Melbourne. Bulletin of Symbolic Logic 14(3), 438-441, 2008.
- Hans van Ditmarsch, Comments on 'The Logic of Conditional Doxastic Actions'. K.R. Apt and R. van Rooij, New perspectives on games and interaction, Texts in Logic and Games, volume 4, pages 33-44. Amsterdam University Press, 2008.
- Martijn Berger, Hans van Ditmarsch, Mineke Schipper, and Piet Verschuren, An Ocean of Knowledge . NIAS Newsletter (Netherlands Institute for Advanced Study in the Humanities and the Social Sciences), number 41 Fall 2008, pages 21-24, 2008.
- H.P. van Ditmarsch and T. French, Simulation and information. Presented at LOFT 2008 (July 2008, Amsterdam, Netherlands). (Nearly identical to the KRAMAS version with same title.)
- H. van Ditmarsch, A. Herzig, J. Lang, and P. Marquis, Introspective forgetting . In: W.R. Wobcke and M. Zhang (editors), AI 2008: Advances in Artificial Intelligence, pages 18-29. LNAI 5360, Springer, 2008.
- H.P. van Ditmarsch, A. Herzig, J. Lang, and P. Marquis, Introspective forgetting. Electronic proceedings of ESSLLI 2008 workshop Logic and Intelligent Interaction . (Nearly identical to AI 2008 version with same title.)
- P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, 'Knowable' as 'known after an announcement' . Review of Symbolic Logic, volume 1, number 3, pages 305-334, 2008.
- T. French and H.P. van Ditmarsch, Undecidability for Arbitrary Public Announcement Logic. In: C. Areces and R. Goldblatt (editors), Proceedings of the seventh conference 'Advances in Modal Logic', pages 23-42. College Publications, London, 2008.
- Thomas Agotnes and Hans van Ditmarsch, Coalitions and Announcements . In: L. Padgham and D.C. Parkes and J. Müller and S. Parsons (editors), Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008), pages 673-680, IFAAMAS, 2008.
- Hans van Ditmarsch and Barteld Kooi, Semantic Results for Ontic and Epistemic Change . In: G. Bonanno, W. van der Hoek, and M. Wooldridge (editors), Logic and the Foundations of Game and Decision Theory (LOFT 7), pages 87-117. Texts in Logic and Games, Amsterdam University Press, 2008.
- Hans van Ditmarsch, Logical fragments in Ibn Khaldun's Muqaddimah . In: S. Rahman, T. Street, H. Tahiri (editors), The Unity of Science in the Arabic Tradition, pages 281-294. Logic, Epistemology, and the Unity of Science, Volume 11, Springer, 2008.
2007
- H.P. van Ditmarsch, J. Ruan, L.C. Verbrugge, Sum and Product in Dynamic Epistemic Logic . Journal of Logic and Computation 18(4): 563-588, 2007.
- Hans van Ditmarsch, Andreas Herzig, Tiago de Lima, Optimal regression for reasoning about knowledge and actions . In: G. Bonanno, J. Delgrande, J. Lang, and H. Rott, Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings 07351, 2007. (Longer version based on AAAI 07 contribution 'Optimal regression for reasoning about knowledge and actions'.)
- Hans van Ditmarsch, Andreas Herzig, Tiago de Lima, An Optimal Method for Reasoning about Actions and Knowledge . M4M (Methods for Modalities) 5, Cachan, France, 2007. (Presentation-only paper. Same as AAAI 07 contribution 'Optimal regression for reasoning about knowledge and actions'.)
- Hans van Ditmarsch, Honderd gevangenen en een gloeilamp (in Dutch). Nieuwe Wiskrant 27(1): 15-18, 2007.
- Hans van Ditmarsch, Ji Ruan and Wiebe van der Hoek, Model checking dynamic epistemics in branching time . Proceedings of FAMAS 2007, Durham UK, 2007.
- Hans van Ditmarsch, Ibn Khaldun and Epistemic Logic (abstract). Proceedings of the First GPMR workshop Medieval Logic and Modern Applied Logic. Bonn, 2007.
- H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi,
Dynamic Epistemic Logic and Knowledge Puzzles . In: U. Priss, S. Polovina and R. Hill, Conceptual Structures: Knowledge Architectures for Smart Applications (Proceedings of ICCS 2007), pages 45-58. LNAI 4604, Springer, 2007.
- Hans van Ditmarsch and Mara Manzano, editors, Special Issue 'Tools for Teaching Logic' . Logic Journal of the IGPL 15(4): 289-369, 2007.
- P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, The Dynamic Capabilities of Public Announcements . In: Shushan Cai, Wei Wang, et al., Volume of Abstracts of the 13th International Congress of
Logic, Methodology, and Philosophy of Science (LMPS Beijing), pages 78-79. Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science, 2007.
- Hans van Ditmarsch, Comments to 'Logics of Public Communications' . Synthese (Knowledge, Rationality & Action) 158(2): 181-187, 2007.
- Hans van Ditmarsch, Andreas Herzig, Tiago de Lima, Optimal regression for reasoning about knowledge and actions . In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pages 1070-1075. AAAI Press, 2007.
- P. Balbiani, H.P. van Ditmarsch, A. Herzig, T. de Lima, A tableau method for public announcement logics . In: N. Olivetti, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI 4548, pages 43-59. Springer, 2007.
- P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, What can we achieve by arbitrary announcements? - A dynamic take on Fitch's knowability . In: D. Samet, Proceedings of TARK 2007, pages 42-51. Presses Universitaires de Louvain, 2007
- Hans van Ditmarsch and Ji Ruan. Model Checking Logic Puzzles . In: J. Lang, Y. Lesperance, D. Sadek, and N. Maudet, Proceedings of MFI07 (Quatrièmes Journées Francophones MODÈLES FORMELS de l'INTERACTION), pages 139-150. Annales du Lamsade, Université Paris Dauphine, 2007.
- H.P. van Ditmarsch, A. Herzig, T. De Lima, Raisonnement sur les actions: de Toronto à Amsterdam (Reasoning about actions, from Toronto to Amsterdam). In: J. Lang, Y. Lesperance, D. Sadek, and N. Maudet, Proceedings of MFI07 (Quatrièmes Journées Francophones MODÈLES FORMELS de l'INTERACTION), pages 127-138. Annales du Lamsade, Université Paris Dauphine, 2007.
- H.P. van Ditmarsch, W. van der Hoek & B.P. Kooi, Dynamic Epistemic Logic . Synthese Library volume 337. Springer, 2007.
- M. H. Albert, R. E. L. Aldred, M. D. Atkinson, H. P. van Ditmarsch, C. C. Handley, D. A. Holton, D. J. McCaughan, C.W. Monteith Cyclically closed pattern classes of permutations . Australasian Journal of Combinatorics 38:87-100, 2007.
- H.P. van Ditmarsch & A. Herzig, editors, Special Issue 'Belief Revision and Dynamic Logic' . Journal of Applied Non-Classical Logics 17(2): 125-273, 2007.
- H.P. van Ditmarsch, W.A. Labuschagne, My beliefs about your beliefs - a case study in theory of mind and epistemic logic . Synthese (Knowledge, Rationality & Action) 155:191-209, 2007.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D.A. Holton, D.J. McCaughan, Compositions of pattern restricted sets of permutations . Australasian Journal of Combinatorics 37: 43-56, 2007.
2006
- H.P. van Ditmarsch, Serious Play . Junctures - The Journal for Thematic Dialogue 7:87-98, 2006.
- A. Baltag and H.P. van Ditmarsch, Relation between two dynamic epistemic logics (abstract). Proceedings of AAL 2006, Noosa.
- H.P. van Ditmarsch, Learning Logic Programming with ART . In: M. Manzano, B. Pérez Lancho & A. Gil, Proceedings of the Second International Congress on Tools for Teaching Logic, pages 27-30, University of Salamanca, 2006. ISBN: 84-690-0348-8. ( Extended version )
- H.P van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan, Model Checking Russian Cards . Electronic Notes in Theoretical Computer Science 149:105-123, 2006.
- H.P. van Ditmarsch, The Logic of Pit , Synthese (Knowledge, Rationality & Action) 149(2): 343-374, 2006.
- H.P. van Ditmarsch, B.P. Kooi, The secret of my success , Synthese 151:201-232, 2006.
2005
- H.P. van Ditmarsch, The case of the hidden hand . Journal of Applied Non-Classical Logics 15(4): 437-452, 2005.
- H.P. van Ditmarsch, Belief Change and Dynamic Logic . In: J. Delgrande and J. Lang and H. Rott and J.-M. Tallon (eds.), Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics , (Electronic) Proceedings of Dagstuhl Seminar 05321 . Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005.
- R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D.A. Holton, D.M.C. McCaughan, Permuting machines and priority queues . Theoretical Computer Science 349:309-317, 2005.
- H.P. van Ditmarsch, J. Ruan, L.C. Verbrugge, Model Checking Sum and Product . In: S. Zhang and R. Jarvis (editors), Proceedings of the 18th Australian Joint Conference on Artificial Intelligence (AI 2005) (LNAI 3809),
pages 790-795, Springer Verlag, Berlin, 2005.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D. A. Holton, D.J. McCaughan, Sorting classes . The Electronic Journal of Combinatorics, volume 12(1), 2005.
- Hans van Ditmarsch, Prolegomena to Dynamic Logic for Belief Revision , Knowledge, Rationality & Action (Synthese) 147:229-275 (KRA pages 41-87), 2005.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Playing cards with Hintikka . (Similar to the 2004 Phi-news article with the same title, but with revisions.) Australasian Journal of Logic 3:108-134, 2005.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Dynamic Epistemic Logic with Assignment . In: F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh, and M. Wooldridge, Proceedings of AAMAS 2005 (Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems), pages 141-148, 2005. ACM Inc New York.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Public Announcements and Belief Expansion . In: R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing, Advances in Modal Logic, volume 5, pages 335-346, 2005. King's College Publications, London. (A preliminary version of this paper appeared in the
preliminary proceedings of the fourth conference on "Advances in Modal
Logic," held in Manchester (UK) in September 2004.)
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, Safe communication for card players by combinatorial designs for two-step protocols , Australasian Journal of Combinatorics, 33:33-46, 2005.
- H.P. van Ditmarsch and B.P. Kooi, Een analyse van de Hangman Paradox in dynamische epistemische logica (An analysis of the Hangman Paradox in Dynamic Epistemic Logic) In: Algemeen Nederlands Tijdschrift voor Wijsbegeerte (Netherlands Journal of Philosophy), 97(1):16-30, 2005. Special issue on paradoxes.
2004
- H.P. van Ditmarsch, Review of G. Chaitin, Randomness . Nieuw Archief voor Wiskunde (New Archive of Mathematics), 5/5(4):340, 2004.
- H.P. van Ditmarsch, The case of the hidden hand . In: L. Afanasiev, M. Marx (editors), Liber Amicorum Dick de Jongh (electronically published), ISBN 90 5776 1289, ILLC, Amsterdam 2004. ( from illc.uva.nl/D65/ )
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Playing cards with Hintikka . In Phi-News; the newsletter for philosophical logic and its applications , volume 6, pages 6-32, October 2004.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Public Announcements and Belief Expansion . In: R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing (editors), Proceedings of AiML-2004 (Advances in Modal Logic), pages 62-73, Department of Computer Science, University of Manchester, 2004.
- H.P. van Ditmarsch, Logic and game theory of Pit (extended abstract). In: S. van Otterloo, P. McBurney, W. van der Hoek, M. Wooldridge (eds), Proceedings of the first Knowledge and Games workshop , 7-8. University of Liverpool, UK, 2004.
- H.P. van Ditmarsch, Dynamic Epistemics for Belief Revision , (Electronic) Proceedings of LOFT 6 (Sixth Conference on Logic and the Foundations of Game and Decision Theory), Leipzig, 2004.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D.A. Holton, Restricted permutations and queue jumping , Discrete Mathematics 287: 129-133, 2004.
- Hans van Ditmarsch, The logic of Pit . In: M. Barley, N. Kasabov, I. Watson, Proceedings of PRIMA 2004 (Seventh Pacific Rim International Workshop on Multi-Agents) , pages 92-103, Auckland, New Zealand, 2004.
- H.P. van Ditmarsch, Some game theory of Pit (extended abstract). In: C. Zhang, H.W. Guesgen, W.K. Yeap, Proceedings of PRICAI 2004 (Eighth Pacific Rim International Conference on Artificial Intelligence), LNAI 3157, pages 946-947, Springer, Berlin, 2004.
- H.P. van Ditmarsch, Nieuw-Zeeuwse Kroniek (New Zealand Chronicle) (part 3), Nieuw Archief voor Wiskunde, 5/5(1):47 (column), 2004.
- H.P. van Ditmarsch, Review of 'Gnomes in the Fog: The reception of Brouwer's intuitionism in the 1920s' , Gewina (Tijdschrift voor de Geschiedenis der Geneeskunde, Natuurwetenschappen, Wiskunde en Techniek), 27(1):42-43, 2004.
- H.P. van Ditmarsch (editor), Proceedings of the 2004 annual conference of the Australasian Association of Logic (AAL 2004) . The Bulletin of Symbolic Logic, volume 10, number 3, pages 447-451, 2004.
- H.P. van Ditmarsch, B.P. Kooi, Unsuccessful updates (abstract). The Bulletin of Symbolic Logic, volume 10, number 3, pages 447-448, 2004.
2003
- H.P. van Ditmarsch, Nieuw-Zeeuwse Kroniek (New Zealand Chronicle) (part 2), Nieuw Archief voor Wiskunde, 5/4(4):285 (column), 2003.
- B.P. Kooi, H.P. van Ditmarsch, W. van der Hoek, A description language for dynamic epistemic actions . In: K. Bimbo, Proceedings of the 2002 annual conference of the Australasian Association of Logic (AAL 2002) . In: The Bulletin of Symbolic Logic, 9(2): 260-261, 2003.
- H.P. van Ditmarsch, Nieuw-Zeeuwse Kroniek (New Zealand Chronicle) , Nieuw Archief voor Wiskunde, 5/4(3):215 (column), 2003.
- H.P. van Ditmarsch & W.A. Labuschagne, A multimodal language for revising defeasible beliefs . In: E. Álvarez, R. Bosch, L. Villamil (eds.), Proceedings of the 12th International Congress of Logic, Methodology, and Philosophy of Science (LMPS), 140-141. Oviedo University Press, 2003.
- H.P. van Ditmarsch & B.P. Kooi, Unsuccessful updates In: E. Álvarez, R. Bosch, L. Villamil (eds.), Proceedings of the 12th International Congress of Logic, Methodology, and Philosophy of Science (LMPS), 139-140. Oviedo University Press, 2003.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Concurrent Dynamic Epistemic Logic . In: V.F. Hendricks, K.F. Jørgensen,
S.A. Pedersen (eds.), Knowledge Contributors , 105-143. Synthese Library Series, volume 322. Kluwer Academic Publishers, 2003.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Concurrent Dynamic Epistemic Logic for MAS . In: J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, Proceedings of The Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 201-208. ACM Press, New York, 2003.
- J.F.A.K. van Benthem, H. P. van Ditmarsch, J. Ketting, J.S. Lodder, W.P.M. Meyer-Viol, Logic for computer science (Logica voor informatica), 3rd revised edition. Pearson Education Benelux, Amsterdam, 2003.
- H.P. van Ditmarsch, The Russian Cards Problem . Studia Logica, 75:31-62, 2003. (Special issue on Dynamics of Knowledge, edited by M. Wooldridge and W. van der Hoek.)
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, B.D. Handley, C.C. Handley, J. Opatrny, Longest subsequences in permutations . The Australasian Journal of Combinatorics, 28:225-238, 2003.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi. Descriptions of game states. In: G. Mints, R. Muskens. Games, Logic, and Constructive Sets. CSLI Lecture Notes Number 161, 43-58. CSLI Publications, Stanford, 2003.
2002
- H.P. van Ditmarsch, The Russian cards problem: a case study in cryptography with public announcements . Proceedings of AWCL 2002 (Australasian Workshop on Computational Logic) Canberra, 47-67. Technical Report TR2002/6, Department of Computer Science, University of Melbourne, 2002.
- H.P. van Ditmarsch, Het zeven-kaartenprobleem (The seven cards problem). Nieuw Archief voor Wiskunde (New Archive of Mathematics), 5-3(4): 326-332, 2002.
- G.R. Renardel de Lavalette & H.P. van Ditmarsch, Epistemic actions and minimal models . In: P. Balbiani, N.-Y. Suzuki, F. Wolter (editors), Proceedings of Advances in Modal Logic (AiML) 2002, 77-90, Institut de Recherche en Informatique de Toulouse IRIT, 2002.
- H.P. van Ditmarsch, Keeping secrets with public communication . In: G. Bonanno, E. Colombatto, W. van der Hoek (eds.), Proceedings of the Fifth Conference on Logic and the Foundations of Game and Decision Theory (LOFT), 11 pages (no page numbers). ICER, Turin, 2002.
- H.P. van Ditmarsch, Review of `Logic in action' . In: Algemeen Nederlands Tijdschrift voor Wijsbegeerte (Netherlands Journal of Philosophy), 94(2):173-174, 2002.
- H.P. van Ditmarsch, The description of game actions in Cluedo . In: L.A. Petrosian, V.V. Mazalov (eds.), Game theory and Applications, 8:1-28. Nova Science Publishers, Hauppauge, NY, 2002.
- H.P. van Ditmarsch, Oplossing van het mysterie (Solution of the murder mystery) , Natuur en Techniek, 70(2):17, 2002.
- H.P. van Ditmarsch and B.P. Kooi, Spelen met verandering en onzekerheid. Rationele-keuzetheorie en logica. In: Algemeen Nederlands Tijdschrift voor Wijsbegeerte (Netherlands Journal of Philosophy), 94(1):31-43, 2002.
- H.P. van Ditmarsch, Descriptions of game actions (last version before publication) . In: Journal of Logic, Language and Information (JoLLI), 11:349-365, 2002.
- H.P. van Ditmarsch, Knowledge games . In: Bulletin of Economic Research, 53(4):249-273, 2002. ( last unpublished version )
2001
- H.P. van Ditmarsch, Killing Cluedo . In: Natuur en Techniek, 69(11):32-40, 2001.
- H.P. van Ditmarsch, The semantics of concurrent knowledge actions . In: M. Pauly and G. Sandu, editors, (Electronic) Reader of ESSLLI Workshop on Logic and Games, Helsinki, Finland, August 2001. Also presented at the Australasian Logic meeting, Victoria University of Wellington, New Zealand, November 2001.
- H.P. van Ditmarsch, Het meer van Atitlan (Lake Atitlan). In: Kanosport (Canoe sports), 22(4):23-24, 2001.
- H.P. van Ditmarsch, Knowledge actions in games and multiagent systems (extended abstract) . In: E.B. Yanovskaya, Proceedings of Logic, Game Theory and Social Choice 2, 74-81, Saint-Petersburg State University, Saint-Petersburg, Russia, 2001.
- H.P. van Ditmarsch and R. Dyckhoff, Sequent Calculi for Logics with Common Knowledge (extended abstract) . In: A. Voronkov, editor, Proceedings Eighth Workshop on Automated Reasoning, 36-37, York, England, 2001.
2000
- H.P. van Ditmarsch, Knowledge games (PhD thesis) . ILLC Dissertation Series 2000-06. Grafimedia Groningen University, 2000.
- E.M. van de Vrie et al., Introduction to Knowledge Systems (Materials additional to: Mark Stefik, Knowledge systems). Open University, Heerlen 2000.
before 2000
- H.P. van Ditmarsch, The semantics of actions in knowledge games. In: M. Pauly & A. Baltag (eds.), Proceedings of the ILLC workshop on Logic and Games, UvA ILLC report PP-1999-25, 23-24. University of Amsterdam 1999.
- H.P. van Ditmarsch, The logic of knowledge games: showing a card. In: Proceedings of the Netherlands/Belgium Conference on Artificial Intelligence (BNAIC 1999), 35-42. Maastricht University 1999.
- H.P. van Ditmarsch, User interfaces in natural deduction programs. In: R.C. Backhouse (ed.), Proceedings of UITP 98, TUE CS report 98-08, 87-95. Eindhoven University of Technology 1998.
- H.P. van Ditmarsch, More on doublets ( Doublures in doubletten ). In: Natuur & Techniek, 66(4):55-56. Beek 1998.
- H.P. van Ditmarsch, Mathematics in Wonderland ( Wiskunde in Wonderland ). In: Natuur & Techniek, 66(1):62-73. Beek 1998.
- Ditmarsch, H.P. van, Herik, H.J. van den, and Vrie, E. van de. Interuniversity Innovation in Knowledge Technology Education . In: NVKI-nieuwsbrief, Vol. 15, No. 5, pp. 140-143. ISSN 0924-4476. 1998.
- Ditmarsch, H.P. van and Kortmann, L.J. 10 Years AI in Utrecht - A Report on an Anniversary Seminar . In: NVKI-nieuwsbrief, Vol. 15, No. 5, p. 151. ISSN 0924-4476. 1998.
- H.P. van Ditmarsch, Knowledge systems (Kennissystemen). In: P. Hendriks & N.A. Taatgen & T.C. Andringa, Introduction to Cognitive Science (Breinmakers en Breinbrekers) 435-449, Addison-Wesley Longman 1997.
- H.P. van Ditmarsch, J.S. Lodder, The logic courses of the Open university of the Netherlands. In: D. Gries (ed.), (electronic) Proceedings of the DIMACS Symposium on Teaching Logic and Reasoning in an illogical World. Rutger's University USA 1996.
- G. Zwaneveld, H.P. van Ditmarsch, H.J. Pootjes, project Machine learning (Specialisatieproject Machinaal leren), Open University, Heerlen 1996.
- H.J. Sint, H.P. van Ditmarsch, A. Hiemstra, W. Jansweijer, H. Trimp, Knowledge-based systems 2 (Kennissystemen 2), Open University, Heerlen 1994.
- H.P. van Ditmarsch, E.M. van de Vrie, A comparison of teaching models for the Logic and Discrete mathematics courses (Didactische Modellen voor Logica en Discrete Wiskunde vergeleken), TW-report, Open University, Heerlen 1994.
- J.F.A.K. van Benthem, H. P. van Ditmarsch, J. Ketting, W.P.M. Meyer-Viol, Logic for computer science (Logica voor informatici), 2nd edition, Addison-Wesley, Amsterdam 1994.
- H.P. van Ditmarsch, What is computer science logic? (Wat is logica voor informatici?), TINFON, 2(4):134-136, 1993.
- H.P. van Ditmarsch, How an Utrecht guy learns from Bolivian students what are `Vlammetjes' (Hoe een Utrechter van Bolivianen leert wat vlammetjes zijn), TINFON, 2(4):144-146, 1993.
- H.P. van Ditmarsch, W. van der Hoek, C. Jonker, J. Ketting, J.S. Lodder, M. de Rijke, Logic and Computer Science (Logica en informatica), Open University, Heerlen 1993.
- F.J. Wester, H.P. van Ditmarsch, H. Koppelman, Logic programming (Logisch programmeren), Open University, Heerlen 1993.
- H.J. Sint, H.P. van Ditmarsch, A. Hiemstra, Knowledge-based systems (Kennissystemen), Open University, Heerlen 1992.
- H.P. van Ditmarsch, J. Ketting, J.S. Lodder, Logic (Logica), Open University, Heerlen 1991.
- J.F.A.K. van Benthem, H. P. van Ditmarsch, J. Ketting, W.P.M. Meyer-Viol, Logic for computer science (Logica voor informatici), Addison-Wesley, Amsterdam 1991.
- H.P. van Ditmarsch, Applications of abstraction in argumentation. In: F.H. van Eemeren, Pragmatics and Discourse Analysis, Volume 3a, pp 162-169, Foris Publications, Dordrecht 1987.
- H.P. van Ditmarsch, Abstractie in Wiskunde, Expertsystemen and Argumentatie (Abstraction in Mathematics, Expert Systems, and Argumentation), Logic Group Preprint Series No.13, Department of Philosophy, University of Utrecht, 1986. (MSc Thesis)