Publications of Hans VAN DITMARSCH
Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
Impure Simplicial Complexes: Complete Axiomatization
Logical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:3)2023⟩
Armando Castañeda, Hans van Ditmarsch, David Rosenblueth, Diego Velázquez
Communication Pattern Logic: Epistemic and Topological Views
Journal of Philosophical Logic, 2023, 52 (5), pp.1445-1473. ⟨10.1007/s10992-023-09713-8⟩
To be announced
Information and Computation, 2023, 292, pp.105026. ⟨10.1016/j.ic.2023.105026⟩
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts
Studia Logica, 2023, 111 (3), pp.453-499. ⟨10.1007/s11225-022-10032-3⟩
Hans van Ditmarsch, Didier Galmiche, Marta Gawek
An Epistemic Separation Logic with Action Models
Journal of Logic, Language and Information, 2023, 32, pp.89-116. ⟨10.1007/s10849-022-09372-z⟩
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
The Expressivity of Quantified Group Announcements
Journal of Logic and Computation, 2022, 33 (6), pp.1122-1151. ⟨10.1093/logcom/exac082⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements
ACM Transactions on Computational Logic, 2022, 23 (2, article 10), pp.1-38. ⟨10.1145/3481806⟩
Hans van Ditmarsch, Mo Liu, Louwe Kuijer, Igor Sedlar
Almost APAL
Journal of Logic and Computation, 2022, 33 (6), pp.1350-1378. ⟨10.1093/logcom/exac012⟩
Hans van Ditmarsch, Tim French
Quantifying over Boolean announcements
Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:20)2022⟩
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents
Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Philippe Balbiani, Hans van Ditmarsch
A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Public announcements, public assignments and the complexity of their logic
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22 N. 3, pp. 249-273, 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl12.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Logic
In : Journal of Logic and Computation, Oxford University Press, Vol. 21 N. 2, pp. 179-204, April 2011.
Thomas Agotnes, Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Group Announcement Logic
In : Journal of Applied Logic, Elsevier, Vol. 8 N. 1, pp. 62-81, 2010.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
In : Journal of Logic and Computation, Oxford University Press, Special issue Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, pp. 55-76, 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
In : Synthese, Springer, Vol. 169 N. 2, pp. 405-423, July 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_forget.html
BibTeXMike Atkinson, Hans Van Ditmarsch, Sigrid Roehling
Avoiding bias in cards cryptography
In : Australasian Journal of Combinatorics, Combinatorial Mathematics Society of Australasia, Vol. 44, pp. 3-17, 2009.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi
Arbitrary announcement logic
In : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, pp. 438-439, 2008.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
`Knowable’ as `known after an announcement’
In : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, pp. 305-334, 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeXHans Van Ditmarsch, Ji Ruan, Rineke Verbrugge
Sum and Product in Dynamic Epistemic Logic
In : Journal of Logic and Computation, Oxford University Press, Vol. 18 N. 3, pp. 563-588, December 2007.
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements
24th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); Intelligent Systems Group (GSI) and the Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.75 – 82, ⟨10.3233/FAIA200078⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Hans Van Ditmarsch, Davide Grossi, Andreas Herzig, Wiebe van Der Hoek, Louwe B. Kuijer
Parameters for Epistemic Gossip Problems
LOFT 2016 – 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
Philippe Balbiani, Hans Van Ditmarsch, Andrey Kudinov
Subset space logic with arbitrary announcements (regular paper)
In : Indian Conference on Logics and its Applications (ICLA 2013), Chennai (Inde), 01/01/13-31/12/13, Springer, pp. 233-244, 2013.
Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to me! Public announcements to agents that pay attention – or not (regular paper)
In : International Workshop on Logic, Rationality and Interaction (LORI 2013), Hangzhou, 09/10/13-12/10/13, Davide Grossi, Olivier Roy, Huaxin Huang (Eds.), Springer-Verlag, LNCS 8196, pp. 96-109, 2013.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Some truths are best left unsaid (regular paper)
In : Advances in Modal Logic (AiML 2012), Copenhagen, 22/08/12-25/08/12, Vol. 9, Thomas Bolander, Torben Braüner, Silvio Ghilardi, Larry Moss (Eds.), College Publications, pp. 36-54, August 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Aiml12.html
BibTeXEmiliano Lorini, Tiago de Lima, Hans Van Ditmarsch
A Logical Model of Intention and Plan Dynamics (short paper)
In : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, pp. 1075-1076, 2010.
Emiliano Lorini, Mehdi Dastani, Hans Van Ditmarsch, Andreas Herzig, John-Jules Meyer
Intentions and assignments (regular paper)
In : LORI-II Workshop on Logic, Rationality and Interaction, Chongqing, 08/10/09-11/10/09, Springer-Verlag, pp. 198-211, 2009.
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Reasonning about permitted announcements
In : Logical Method for Social Concepts (LMSC’09), Bordeaux, 20/07/09-25/07/09, Andreas Herzig, Emiliano Lorini (Eds.).
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Raisonnements sur la permission de dire
In : Modèles Formels de l’Interaction, MFI’09, Lannion, 03/06/09-05/06/09, Nicolas Maudet, Pierre-Yves Schobbens, Marc Guyomard (Eds.).
Abstract URL : http://www.info.fundp.ac.be/mfi09/wp-content/uploads/2009/04/BalbianiVanditmarschSeban.pdf
BibTeXThomas Agotnes, Hans Van Ditmarsch
Coalitions and announcements
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Portugal, 15/04/09, L Padgham, D Parkes, J Muller, S Parsons (Eds.), IFAAMAS, pp. 673-680, 2008.
Hans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
In : Advances in Artificial Intelligence (AI 2008), Auckland, 01/12/08-05/12/08, Wayne R. Wobcke , Mengjie Zhang (Eds.), Springer, LNAI 5360, pp. 18-29, 2008.
Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Raisonnement sur les actions : de Toronto à Amstermdam
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Jérôme Lang, Yves Lespérance, David Sadek, Nicolas Maudet (Eds.), Université Paris Dauphine, Annales du Lamsade 8, pp. 127-138, 2007.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability
In : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, pp. 42-51, June 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
A tableau method for public announcement logics
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, pp. 43-59, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions
In : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/07-26/07/07, Robert C. Holte, Adele Howe (Eds.), AAAI Press, pp. 1-6, 2007.
Hans Van Ditmarsch, Tiago de Lima, Emiliano Lorini
Intention change via local assignments
In : Postproceedings of the third international workshop on languages, methodologies and development tools for multi-agent systems (LADS 2010). M. Dastani, A. E. F. Seghrouchni, J. F. Hubner, J. Leite (Eds.) , Springer-Verlag, pp. 136-151, Vol. 6822, LNCS, 2011.
URL : http://www.springerlink.com/content/k365153j84804857/fulltext.pdf
BibTeXHans Van Ditmarsch, Jan Van Eijck, Rineke Verbrugge
Common Knowledge and Common Belief
In : Discourses on Games, Action, and Social Software. Jan van Eijck, Rineke Verbrugge (Eds.) , Amsterdam University Press, pp. 99-122, Vol. 5, Texts in Logic and Games, 2009.
Hans Van Ditmarsch, Tim French
Simulation and information
In : Proceedings of KRAMAS. Jan Broersen, John-Jules Ch Meyer (Eds.) , Springer, pp. 51-65, Vol. 5606, LNAI, 2009.
Hans Van Ditmarsch, Barteld Kooi
Semantic Results for Ontic and Epistemic Change
In : Logic and the Foundations of Game and Decision Theory (LOFT 7). G Bonanno, W van der Hoek, M Wooldridge (Eds.) , Amsterdam University Press, pp. 87-117, Texts in Logic and Games, 2008.
Tim French, Hans Van Ditmarsch
Undecidability for Arbitrary Public Announcement Logic
In : Proceedings of the seventh conference ‘Advances in Modal Logic’. Carlos Areces, Rob Goldblatt (Eds.) , College Publications, pp. 23-42, Advances in Modal Logic, 7, 2008.
Alexandru Baltag, Hans Van Ditmarsch, Larry Moss
Epistemic Logic and Information Update
In : Handbook on the Philosophy of Information. Pieter Adriaans, Johan van Benthem (Eds.) , Elsevier Science, pp. 369-463, 2008.
Comments on ‘The Logic of Conditional Doxastic Actions’
In : New perspectives on games and interaction. Krysztof Apt, Robert van Rooij (Eds.) , Amsterdam University Press, pp. 33-44, Vol. 4, Texts in Logic and Games, December 2008.
Logical fragments in Ibn Khaldun’s Muqaddimah
In : The Unity of Science in the Arabic Tradition. Shahid Rahman, Hassan Tahiri, Tony Street (Eds.) , Springer-Verlag, pp. 281-294, Logic, Epistemology and the Unity of Science, June 2008.
All I know
HDR, Université Paul Sabatier, October 2010.
Philippe Balbiani, Hans Van Ditmarsch, Jan Van Eijck
Logic and Information Security
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 19, 2009.
Hans Van Ditmarsch, Mara Manzano
Special Issue ‘Tools for Teaching Logic’
Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 15 N. 4, 2007.
Hans Van Ditmarsch, Andreas Herzig
Belief revision and dynamic logic
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 17 N. 2, août 2007.
URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl07.html
BibTeX