Hans van Ditmarsch

204 papers A* 5A 9B 28C 9Misc 3Journal 114Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Axiomatisation for an asynchronous epistemic logic with sending and receiving messages. CoRR Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
2025	J	`jnl`	Hypergraph Semantics for Doxastic Logics. CoRR Hans van Ditmarsch, Djanira Gomes, David Lehnherr, Valentin Müller, Thomas Studer
2025	B	`conf`	Modal Logic for Simulation, Refinement, and Mutual Ignorance. TARK Hans van Ditmarsch, Tim French, Rustam Galimullin, Louwe B. Kuijer
2025	B	`conf`	Muddy Waters. TARK Hans van Ditmarsch
2025	J	`jnl`	Wanted dead or alive: epistemic logic for impure simplicial complexes. J. Log. Comput. Hans van Ditmarsch, Roman Kuznets
2024	—	`conf`	A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. IJCAR (2) Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2024	J	`jnl`	A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems. CoRR Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2024	B	`conf`	Bisimulation for Impure Simplicial Complexes. AiML Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2024	J	`jnl`	Bisimulation for Impure Simplicial Complexes. CoRR Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2024	J	`jnl`	Boolean Observation Games. J. Artif. Intell. Res. Hans van Ditmarsch, Sunil Simon
2024	J	`jnl`	Evaluating the Usefulness of Counterfactual Explanations from Bayesian Networks. Hum. Centric Intell. Syst. Raphaela Butz, Arjen Hommersom, Renée Schulz, Hans van Ditmarsch
2024	J	`jnl`	Pattern Models: A Dynamic Epistemic Logic For Distributed Systems. Comput. J. Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
2024	J	`jnl`	The Undecidability of Quantified Announcements. CoRR Thomas Ågotnes, Hans van Ditmarsch, Tim French
2024	B	`conf`	Towards Dynamic Distributed Knowledge. AiML Philippe Balbiani, Hans van Ditmarsch
2024	J	`jnl`	You can only be lucky once: optimal gossip for epistemic goals. Math. Struct. Comput. Sci. Hans van Ditmarsch, Malvin Gattinger
2023	C	`conf`	A Separation Logic with Histories of Epistemic Actions as Resources. WoLLIC Hans van Ditmarsch, Didier Galmiche, Marta Gawek
2023	J	`jnl`	Almost APAL. J. Log. Comput. Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
2023	—	`conf`	An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. LORI Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu
2023	J	`jnl`	An Epistemic Separation Logic with Action Models. J. Log. Lang. Inf. Hans van Ditmarsch, Didier Galmiche, Marta Gawek
2023	J	`jnl`	Communication Pattern Logic: Epistemic and Topological Views. J. Philos. Log. Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
2023	B	`conf`	Comparing the Update Expressivity of Communication Patterns and Action Models. TARK Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
2023	J	`jnl`	Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid
2023	J	`jnl`	Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Stud Logica Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
2023	J	`jnl`	Impure Simplicial Complexes: Complete Axiomatization. Log. Methods Comput. Sci. Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
2023	—	`conf`	On Two- and Three-valued Semantics for Impure Simplicial Complexes. GandALF Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
2023	J	`jnl`	The Expressivity of Quantified Group Announcements. J. Log. Comput. Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
2023	J	`jnl`	To be announced. Inf. Comput. Hans van Ditmarsch
2022	J	`jnl`	A Labelled Sequent Calculus for Public Announcement Logic. CoRR Hao Wu, Hans van Ditmarsch, Jinsheng Chen
2022	B	`conf`	A New Hope. AiML Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch
2022	J	`jnl`	Asynchronous Announcements. ACM Trans. Comput. Log. Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2022	J	`jnl`	Boolean Observation Games. CoRR Hans van Ditmarsch, Sunil Simon
2022	J	`jnl`	Communication Pattern Logic: Epistemic and Topological Views. CoRR Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
2022	J	`jnl`	Impure Simplicial Complexes: Complete Axiomatization. CoRR Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
2022	J	`jnl`	Quantifying over Boolean announcements. Log. Methods Comput. Sci. Hans van Ditmarsch, Tim French
2022	C	`conf`	The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. WoLLIC Hans van Ditmarsch, Malvin Gattinger
2021	J	`jnl`	A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2021	J	`jnl`	Copy and remove as dynamic operators. J. Appl. Non Class. Logics Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
2021	J	`jnl`	Neighbourhood semantics for graded modal logic. CoRR Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
2021	B	`conf`	No Finite Model Property for Logics of Quantified Announcements. TARK Hans van Ditmarsch, Tim French, Rustam Galimullin
2021	J	`jnl`	Positive Announcements. Stud Logica Hans van Ditmarsch, Tim French, James Hales
2021	J	`jnl`	Verification and Strategy Synthesis for Coalition Announcement Logic. J. Log. Lang. Inf. Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang
2021	J	`jnl`	Wanted Dead or Alive : Epistemic logic for impure simplicial complexes. CoRR Hans van Ditmarsch
2021	C	`conf`	Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. WoLLIC Hans van Ditmarsch
2021	J	`jnl`	Who holds the best card? Secure communication of optimal secret bits. Australas. J Comb. Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
2020	J	`jnl`	Arrow update synthesis. Inf. Comput. Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2020	J	`jnl`	Bilattice logic of epistemic actions and knowledge. Ann. Pure Appl. Log. Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio
2020	J	`jnl`	Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge
2020	J	`jnl`	Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts. CoRR Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
2020	—	`conf`	Expressivity of Some Versions of APAL. DaLí Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
2020	A	`conf`	From Public Announcements to Asynchronous Announcements. ECAI Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2020	J	`jnl`	Knowledge and simplicial complexes. CoRR Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
2020	J	`jnl`	Quantifying Notes Revisited. CoRR Hans van Ditmarsch
2020	B	`conf`	Quantifying over Asynchronous Information Change. AiML Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
2020	J	`jnl`	The logic of gossiping. Artif. Intell. Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2019	J	`jnl`	A public announcement separation logic. Math. Struct. Comput. Sci. Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
2019	J	`jnl`	Announcement as effort on topological spaces. Synth. Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2019	J	`jnl`	Correction to: Dynamics of lying. Synth. Hans van Ditmarsch
2019	J	`jnl`	Dynamic Graded Epistemic Logic. Rev. Symb. Log. Minghui Ma, Hans van Ditmarsch
2019	J	`jnl`	Forgetting in multi-agent modal logics. Artif. Intell. Liangda Fang, Yongmei Liu, Hans van Ditmarsch
2019	A	`conf`	Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina
2019	C	`conf`	Knowledge Without Complete Certainty. WoLLIC Hans van Ditmarsch, Louwe B. Kuijer
2019	—	`conf`	Reachability of Five Gossip Protocols. RP Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer
2019	J	`jnl`	Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
2019	J	`jnl`	Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
2018	J	`jnl`	Arrow Update Synthesis. CoRR Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2018	J	`jnl`	How does uncertainty about other voters determine a strategic vote? CoRR Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine
2018	J	`jnl`	Implicit, explicit and speculative knowledge. Artif. Intell. Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
2018	Misc	`conf`	Model Checking for Coalition Announcement Logic. KI Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch
2018	J	`jnl`	Positive Announcements. CoRR Hans van Ditmarsch, Tim French, James Hales
2018	J	`jnl`	Private Announcements on Topological Spaces. Stud Logica Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2018	J	`jnl`	True lies. Synth. Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
2017	B	`conf`	A Logic for Global and Local Announcements. TARK Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
2017	J	`jnl`	Arbitrary arrow update logic. Artif. Intell. Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
2017	J	`jnl`	Asynchronous Announcements. CoRR Hans van Ditmarsch
2017	J	`jnl`	Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synth. Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
2017	B	`conf`	Cheryl's Birthday. TARK Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
2017	J	`jnl`	Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith
2017	J	`jnl`	Epistemic protocols for dynamic gossip. J. Appl. Log. Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
2017	—	`conf`	Neighbourhood Contingency Bisimulation. ICLA Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
2017	J	`jnl`	Quantifying over boolean announcements. CoRR Hans van Ditmarsch, Tim French
2017	B	`conf`	Reachability and Expectation in Gossiping. PRIMA Hans van Ditmarsch, Ioannis Kokkinis, Anders Stockmarr
2017	—	`conf`	Strategic Knowledge of the Past in Quantum Cryptography. LORI Christophe Chareton, Hans van Ditmarsch
2017	—	`conf`	The Expected Duration of Sequential Gossiping. EUMAS/AT Hans van Ditmarsch, Ioannis Kokkinis
2017	J	`jnl`	The modal logic of copy and remove. Inf. Comput. Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2017	J	`jnl`	The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2016	B	`conf`	Algebraic semantics of refinement modal logic. Advances in Modal Logic Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella
2016	J	`jnl`	Announcements to Attentive Agents. J. Log. Lang. Inf. Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
2016	B	`conf`	Before announcement. Advances in Modal Logic Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
2016	—	`conf`	Epistemic Gossip Protocols. CLAR Hans van Ditmarsch
2016	A*	`conf`	Forgetting in Multi-Agent Modal Logics. IJCAI Liangda Fang, Yongmei Liu, Hans van Ditmarsch
2016	B	`conf`	Fully Arbitrary Public Announcements. Advances in Modal Logic Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2016	J	`jnl`	Propositional quantification in logics of contingency. J. Appl. Non Class. Logics Hans van Ditmarsch, Jie Fan
2016	A	`conf`	Second-order Propositional Announcement Logic. AAMAS Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
2016	J	`jnl`	The Undecidability of Arbitrary Arrow Update Logic. CoRR Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
2016	J	`jnl`	The Undecidability of Quantified Announcements. Stud Logica Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French
2016	J	`jnl`	True Lies. CoRR Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
2015	J	`jnl`	A geometric protocol for cryptography with cards. Des. Codes Cryptogr. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2015	C	`conf`	An Epistemic Separation Logic. WoLLIC Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
2015	J	`jnl`	An Introduction to Logics of Knowledge and Belief. CoRR Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
2015	B	`conf`	Announcement as effort on topological spaces. TARK Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2015	J	`jnl`	Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. CoRR Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
2015	J	`jnl`	Contingency and Knowing Whether. Rev. Symb. Log. Jie Fan, Yanjing Wang, Hans van Ditmarsch
2015	J	`jnl`	Dynamic Gossip. CoRR Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
2015	—	`conf`	Neighborhood Contingency Logic. ICLA Jie Fan, Hans van Ditmarsch
2015	—	`book`	One Hundred Prisoners and a Light Bulb. Hans van Ditmarsch, Barteld Kooi
2015	J	`jnl`	The complexity of one-agent refinement modal logic. Theor. Comput. Sci. Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2015	J	`jnl`	The succinctness of the cover modality. J. Appl. Non Class. Logics Hans van Ditmarsch, Petar Iliev
2014	C	`conf`	A Framework for Epistemic Gossip Protocols. EUMAS Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
2014	J	`jnl`	A simple proof of the completeness of APAL. CoRR Philippe Balbiani, Hans van Ditmarsch
2014	B	`conf`	Almost Necessary. Advances in Modal Logic Jie Fan, Yanjing Wang, Hans van Ditmarsch
2014	C	`conf`	Arbitrary Announcements on Topological Subset Spaces. EUMAS Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
2014	J	`jnl`	Dynamics of lying. Synth. Hans van Ditmarsch
2014	J	`jnl`	Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2014	J	`jnl`	Introduction. IGTR Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen
2014	—	`ch.`	Knowledge Games and Coalitional Abilities. Johan van Benthem on Logic and Information Dynamics Thomas Ågotnes, Hans van Ditmarsch
2014	A	`conf`	Knowledge and Gossip. ECAI Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek
2014	C	`conf`	Logics with Copy and Remove. WoLLIC Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2014	J	`jnl`	On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
2014	—	`conf`	Partial Information and Uniform Strategies. CLIMA Hans van Ditmarsch, Sophia Knight
2014	J	`jnl`	Refinement modal logic. Inf. Comput. Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
2014	J	`jnl`	Semantics for Knowledge and Change of Awareness. J. Log. Lang. Inf. Hans van Ditmarsch, Tim French
2014	B	`conf`	Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev
2014	Misc	`conf`	The Ditmarsch Tale of Wonders. KI Hans van Ditmarsch
2014	A	`conf`	The undecidability of group announcements. AAMAS Thomas Ågotnes, Hans van Ditmarsch, Tim French
2013	J	`jnl`	A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013	J	`jnl`	A geometric protocol for cryptography with cards CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2013	—	`conf`	Bisimulation for Single-Agent Plausibility Models. Australasian Conference on Artificial Intelligence Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
2013	J	`jnl`	Connecting dynamic epistemic and temporal epistemic logics. Log. J. IGPL Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan
2013	J	`jnl`	Dynamic Consequence and Public announcement. Rev. Symb. Log. Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández
2013	J	`jnl`	Editorial Introduction to the Special Issue LOFT Sevilla. J. Philos. Log. Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek
2013	J	`jnl`	Editorial introduction to the special issue LORI Guangzhou. Synth. Hans van Ditmarsch, Jérôme Lang
2013	J	`jnl`	Knowing Whether. CoRR Jie Fan, Yanjing Wang, Hans van Ditmarsch
2013	J	`jnl`	Knowledge, Awareness, and Bisimulation. CoRR Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang
2013	B	`conf`	Knowledge, awareness, and bisimulation. TARK Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
2013	—	`conf`	Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
2013	J	`jnl`	Revocable Belief Revision. Stud Logica Hans van Ditmarsch
2013	J	`jnl`	Strategic Voting and the Logic of Knowledge. CoRR Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine
2013	B	`conf`	Strategic voting and the logic of knowledge. TARK Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine
2013	—	`conf`	Subset Space Logic with Arbitrary Announcements. ICLA Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov
2013	A*	`conf`	The Complexity of One-Agent Refinement Modal Logic. IJCAI Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2012	J	`jnl`	A colouring protocol for the generalized Russian cards problem CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
2012	J	`jnl`	A secure additive protocol for card players. Australas. J Comb. Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2012	A	`conf`	Action models for knowledge and awareness. AAMAS Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada
2012	B	`conf`	Coalitional Public Announcement Games. PRIMA Thomas Ågotnes, Hans van Ditmarsch
2012	J	`jnl`	Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. Stud Logica Hans van Ditmarsch
2012	J	`jnl`	Local properties in modal logic. Artif. Intell. Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2012	—	`conf`	Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. PAAMS (Special Sessions) Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano
2012	—	`ch.`	On the Logic of Lying. Games, Actions and Social Software Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang
2012	J	`jnl`	Public announcements, public assignments and the complexity of their logic. J. Appl. Non Class. Logics Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2012	C	`conf`	Quantifying Notes. WoLLIC Hans van Ditmarsch
2012	J	`jnl`	Refinement Modal Logic CoRR Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
2012	B	`conf`	Some Truths Are Best Left Unsaid. Advances in Modal Logic Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2012	A	`conf`	Strategic voting and the logic of knowledge. AAMAS Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine
2012	B	`conf`	The Complexity of One-Agent Refinement Modal Logic. JELIA Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
2012	—	`conf`	Unconditionally Secure Protocols with Genetic Algorithms. PAAMS (Special Sessions) Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans van Ditmarsch
2011	J	`jnl`	A secure additive protocol for card players CoRR Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	—	`conf`	Becoming Aware of Propositional Variables. ICLA Hans van Ditmarsch, Tim French
2011	J	`jnl`	From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2011	B	`conf`	Hidden protocols. TARK Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2011	J	`jnl`	Logic in India - Editorial Introduction. J. Philos. Log. Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam
2011	—	`ed.`	Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings LORI Hans van Ditmarsch, Jérôme Lang, Shier Ju
2011	—	`conf`	On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
2011	—	`conf`	On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence Hans van Ditmarsch, Tim French
2011	—	`conf`	Preface. M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego
2011	—	`ed.`	Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011 M4M/LAMAS Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego
2011	J	`jnl`	Question-answer games. J. Appl. Non Class. Logics Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica
2011	A	`conf`	Reasoning about local properties in modal logic. AAMAS Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2011	Misc	`conf`	Secure Communication of Local States in Interpreted Systems. DCAI Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
2011	J	`jnl`	The Ditmarsch Tale of Wonders CoRR Hans van Ditmarsch
2011	J	`jnl`	The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. Hans van Ditmarsch, Rineke Verbrugge
2011	—	`conf`	Three Steps. CLIMA Hans van Ditmarsch, Fernando Soler-Toscano
2011	—	`ed.`	Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings TICTTL Patrick Blackburn, Hans van Ditmarsch, María Manzano, Fernando Soler-Toscano
2011	J	`jnl`	What will they say? - Public Announcement Games. Synth. Thomas Ågotnes, Hans van Ditmarsch
2010	A	`conf`	A Logical Model of Intention and Plan Dynamics. ECAI Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima
2010	B	`conf`	Future Event Logic - Axioms and Complexity. Advances in Modal Logic Hans van Ditmarsch, Tim French, Sophie Pinchinat
2010	J	`jnl`	Group announcement logic. J. Appl. Log. Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
2010	—	`conf`	Intention Change via Local Assignments. LADS Hans van Ditmarsch, Tiago de Lima, Emiliano Lorini
2010	A*	`conf`	One Hundred Prisoners and a Lightbulb - Logic and Computation. KR Hans van Ditmarsch, Jan van Eijck, William Wu
2010	J	`jnl`	Tableaux for Public Announcement Logic. J. Log. Comput. Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2010	J	`jnl`	Verifying one hundred prisoners and a lightbulb. J. Appl. Non Class. Logics Hans van Ditmarsch, Jan van Eijck, William Wu
2009	—	`conf`	Awareness and Forgetting of Facts and Agents. Web Intelligence/IAT Workshops Hans van Ditmarsch, Tim French
2009	—	`conf`	Awareness and forgetting of facts and agents. Information processing, rational belief change and social interaction Hans van Ditmarsch, Tim French
2009	—	`conf`	Intentions and Assignments. LORI Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer
2009	J	`jnl`	Introspective forgetting. Synth. Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
2009	A*	`conf`	Knowing More - From Global to Local Correspondence. IJCAI Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2009	J	`jnl`	Logic of change, change of logic. Synth. Hans van Ditmarsch, Brian Hill, Ondrej Majer
2009	J	`jnl`	Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial. J. Philos. Log. Hans van Ditmarsch, Lawrence S. Moss
2008	J	`jnl`	'Knowable' as 'known after an announcement'. Rev. Symb. Log. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2008	—	`conf`	Coalitions and announcements. AAMAS (2) Thomas Ågotnes, Hans van Ditmarsch
2008	—	`conf`	Introspective Forgetting. Australasian Conference on Artificial Intelligence Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
2008	—	`conf`	Simulation and Information: Quantifying over Epistemic Events. KRAMAS Hans van Ditmarsch, Tim French
2008	B	`conf`	Undecidability for arbitrary public announcement logic. Advances in Modal Logic Tim French, Hans van Ditmarsch
2007	B	`conf`	A Tableau Method for Public Announcement Logics. TABLEAUX Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	J	`jnl`	Editorial "Tools for Teaching Logic". Log. J. IGPL Hans van Ditmarsch, María Manzano
2007	J	`jnl`	Foreword. J. Appl. Non Class. Logics Hans van Ditmarsch, Andreas Herzig
2007	J	`jnl`	My beliefs about your beliefs: a case study in theory of mind and epistemic logic. Synth. Hans van Ditmarsch, Willem Adrian Labuschagne
2007	A*	`conf`	Optimal Regression for Reasoning about Knowledge and Actions. AAAI Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	—	`conf`	Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
2007	B	`conf`	What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
2006	J	`jnl`	The Secret of My Success. Synth. Hans van Ditmarsch, Barteld P. Kooi
2006	J	`jnl`	The Secret of My Success. Synth. Hans van Ditmarsch, Barteld P. Kooi
2005	—	`conf`	Belief change and dynamic logic. Belief Change in Rational Agents Hans van Ditmarsch
2004	B	`conf`	Public Announcements and Belief Expansion. Advances in Modal Logic Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2003	J	`jnl`	The Russian Cards Problem. Stud Logica Hans van Ditmarsch