Publications of Hans van Ditmarsch

This is a selection of all my publications

2011

Hans van Ditmarsch and Tim French, On the dynamics of awareness and certainty. In: D. Wang and M. Reynolds, Proceedings of 24th Australasian Joint Conference on Artificial Intelligence (AI 11), LNAI 7106, pages 727-738, Springer, 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, 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.
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.
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.
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, Jan van Eijck, and William Wu, Verifying one hundred prisoners and a lightbulb , Journal of Applied Non-classical logics 20(3): 173-191, 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.
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.
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

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 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, 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.
Johan van Benthem, Hans van Ditmarsch, and Jan van Eijck, Logica in Actie , Academic Service, Sdu Uitgevers, Den Haag, NL, 2009.
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.

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.
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.
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: 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
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, 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, 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.
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.
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 . 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.
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.

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.

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.
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 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, Descriptions of game actions . 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

2000

H.P. van Ditmarsch, Knowledge games (PhD thesis) . ILLC Dissertation Series 2000-06. Grafimedia Groningen University, 2000.

before 2000

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.

Revised 11 January 2012