


default search action
Hans van Ditmarsch
Hans P. van Ditmarsch
Person information
- affiliation: CNRS, France
- affiliation (former): University of Seville, Spain
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j91]Armando Castañeda
, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
:
Pattern Models: A Dynamic Epistemic Logic For Distributed Systems. Comput. J. 67(7): 2421-2440 (2024) - [j90]Raphaela Butz
, Arjen Hommersom
, Renée Schulz, Hans van Ditmarsch:
Evaluating the Usefulness of Counterfactual Explanations from Bayesian Networks. Hum. Centric Intell. Syst. 4(2): 286-298 (2024) - [j89]Hans van Ditmarsch, Sunil Simon:
Boolean Observation Games. J. Artif. Intell. Res. 79: 307-357 (2024) - [j88]Hans van Ditmarsch
, Malvin Gattinger
:
You can only be lucky once: optimal gossip for epistemic goals. Math. Struct. Comput. Sci. 34(7): 661-688 (2024) - [c85]Philippe Balbiani, Hans van Ditmarsch:
Towards Dynamic Distributed Knowledge. AiML 2024: 125-146 - [c84]Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa:
Bisimulation for Impure Simplicial Complexes. AiML 2024: 225-248 - [c83]Hans van Ditmarsch
, Krisztina Fruzsa
, Roman Kuznets
, Ulrich Schmid
:
A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. IJCAR (2) 2024: 114-134 - [i40]Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets
, Ulrich Schmid:
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems. CoRR abs/2401.06451 (2024) - [i39]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The Undecidability of Quantified Announcements. CoRR abs/2405.15671 (2024) - [i38]Marta Bílková, Hans van Ditmarsch, Roman Kuznets
, Rojo Randrianomentsoa:
Bisimulation for Impure Simplicial Complexes. CoRR abs/2406.16785 (2024) - 2023
- [j87]Hans van Ditmarsch
:
To be announced. Inf. Comput. 292: 105026 (2023) - [j86]Hans van Ditmarsch
, Didier Galmiche, Marta Gawek:
An Epistemic Separation Logic with Action Models. J. Log. Lang. Inf. 32(1): 89-116 (2023) - [j85]Armando Castañeda, Hans van Ditmarsch
, David A. Rosenblueth
, Diego A. Velázquez
:
Communication Pattern Logic: Epistemic and Topological Views. J. Philos. Log. 52(5): 1445-1473 (2023) - [j84]Rojo Fanamperana Randrianomentsoa
, Hans van Ditmarsch
, Roman Kuznets
:
Impure Simplicial Complexes: Complete Axiomatization. Log. Methods Comput. Sci. 19(4) (2023) - [j83]Natasha Alechina
, Hans van Ditmarsch, Tim French
, Rustam Galimullin
:
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33(6): 1122-1151 (2023) - [j82]Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár:
Almost APAL. J. Log. Comput. 33(6): 1350-1378 (2023) - [j81]Hans van Ditmarsch
, Malvin Gattinger
, Rahim Ramezanian:
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Stud Logica 111(3): 453-499 (2023) - [c82]Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu:
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. LORI 2023: 63-76 - [c81]Hans van Ditmarsch, Didier Galmiche, Marta Gawek:
A Separation Logic with Histories of Epistemic Actions as Resources. WoLLIC 2023: 161-177 - [c80]Hans van Ditmarsch, Roman Kuznets
, Rojo Randrianomentsoa:
On Two- and Three-valued Semantics for Impure Simplicial Complexes. GandALF 2023: 50-66 - [c79]Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez:
Comparing the Update Expressivity of Communication Patterns and Action Models. TARK 2023: 157-172 - [i37]Armando Castañeda, Hans van Ditmarsch, Roman Kuznets
, Yoram Moses, Ulrich Schmid:
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports 13(7): 34-65 (2023) - 2022
- [j80]Hans van Ditmarsch, Tim French
:
Quantifying over Boolean announcements. Log. Methods Comput. Sci. 18(1) (2022) - [j79]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
:
Asynchronous Announcements. ACM Trans. Comput. Log. 23(2): 10:1-10:38 (2022) - [c78]Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch:
A New Hope. AiML 2022: 349-369 - [c77]Hans van Ditmarsch
, Malvin Gattinger
:
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. WoLLIC 2022: 237-249 - [i36]Hans van Ditmarsch, Sunil Simon:
Boolean Observation Games. CoRR abs/2202.03637 (2022) - [i35]Hans van Ditmarsch, Tim French, Rustam Galimullin
:
Satisfiability of Quantified Boolean Announcements. CoRR abs/2206.00903 (2022) - [i34]Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez:
Communication Pattern Logic: Epistemic and Topological Views. CoRR abs/2207.00823 (2022) - [i33]Hao Wu, Hans van Ditmarsch, Jinsheng Chen:
A Labelled Sequent Calculus for Public Announcement Logic. CoRR abs/2207.10262 (2022) - [i32]Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
:
Impure Simplicial Complexes: Complete Axiomatization. CoRR abs/2211.13543 (2022) - 2021
- [j78]Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh:
Who holds the best card? Secure communication of optimal secret bits. Australas. J Comb. 80: 1-29 (2021) - [j77]Carlos Areces
, Hans van Ditmarsch
, Raul Fervari
, Bastien Maubert
, François Schwarzentruber
:
Copy and remove as dynamic operators. J. Appl. Non Class. Logics 31(3-4): 181-220 (2021) - [j76]Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent
, Sergio Rajsbaum
:
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. 121: 100662 (2021) - [j75]Natasha Alechina
, Hans van Ditmarsch, Rustam Galimullin
, Tuo Wang:
Verification and Strategy Synthesis for Coalition Announcement Logic. J. Log. Lang. Inf. 30(4): 671-700 (2021) - [j74]Hans van Ditmarsch
, Tim French
, James Hales:
Positive Announcements. Stud Logica 109(3): 639-681 (2021) - [c76]Hans van Ditmarsch:
Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. WoLLIC 2021: 31-46 - [c75]Hans van Ditmarsch, Tim French
, Rustam Galimullin
:
No Finite Model Property for Logics of Quantified Announcements. TARK 2021: 129-138 - [i31]Hans van Ditmarsch:
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes. CoRR abs/2103.03032 (2021) - [i30]Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis:
Neighbourhood semantics for graded modal logic. CoRR abs/2105.09202 (2021) - 2020
- [j73]Hans van Ditmarsch, Wiebe van der Hoek
, Louwe B. Kuijer:
The logic of gossiping. Artif. Intell. 286: 103306 (2020) - [j72]Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio:
Bilattice logic of epistemic actions and knowledge. Ann. Pure Appl. Log. 171(6): 102790 (2020) - [j71]Hans van Ditmarsch, Wiebe van der Hoek
, Barteld Kooi, Louwe B. Kuijer:
Arrow update synthesis. Inf. Comput. 275: 104544 (2020) - [j70]Hans van Ditmarsch, Petra Hendriks
, Rineke Verbrugge:
Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. 12(2): 466-484 (2020) - [c74]Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González:
Quantifying over Asynchronous Information Change. AiML 2020: 33-52 - [c73]Hans van Ditmarsch
, Mo Liu, Louwe B. Kuijer
, Igor Sedlár
:
Expressivity of Some Versions of APAL. DaLí 2020: 120-136 - [c72]Philippe Balbiani
, Hans van Ditmarsch, Saúl Fernández González:
From Public Announcements to Asynchronous Announcements. ECAI 2020: 75-82 - [i29]Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
Knowledge and simplicial complexes. CoRR abs/2002.08863 (2020) - [i28]Hans van Ditmarsch:
Quantifying Notes Revisited. CoRR abs/2004.05802 (2020) - [i27]Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian:
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts. CoRR abs/2011.13203 (2020)
2010 – 2019
- 2019
- [j69]Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in multi-agent modal logics. Artif. Intell. 266: 51-80 (2019) - [j68]Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6(1): 157-203 (2019) - [j67]Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche:
A public announcement separation logic. Math. Struct. Comput. Sci. 29(6): 828-871 (2019) - [j66]Minghui Ma, Hans van Ditmarsch:
Dynamic Graded Epistemic Logic. Rev. Symb. Log. 12(4): 663-684 (2019) - [j65]Hans van Ditmarsch:
Correction to: Dynamics of lying. Synth. 196(6): 2543 (2019) - [j64]Hans van Ditmarsch, Sophia Knight
, Aybüke Özgün
:
Announcement as effort on topological spaces. Synth. 196(7): 2927-2969 (2019) - [c71]Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina:
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS 2019: 953-961 - [c70]Hans van Ditmarsch
, Malvin Gattinger
, Ioannis Kokkinis
, Louwe B. Kuijer:
Reachability of Five Gossip Protocols. RP 2019: 218-231 - [c69]Hans van Ditmarsch, Louwe B. Kuijer:
Knowledge Without Complete Certainty. WoLLIC 2019: 619-632 - [i26]Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR abs/1907.12321 (2019) - 2018
- [j63]Hans van Ditmarsch, Tim French
, Fernando R. Velázquez-Quesada
, Yì N. Wáng:
Implicit, explicit and speculative knowledge. Artif. Intell. 256: 35-67 (2018) - [j62]Hans van Ditmarsch, Sophia Knight
, Aybüke Özgün
:
Private Announcements on Topological Spaces. Stud Logica 106(3): 481-513 (2018) - [j61]Thomas Ågotnes, Hans van Ditmarsch
, Yanjing Wang
:
True lies. Synth. 195(10): 4581-4615 (2018) - [c68]Rustam Galimullin
, Natasha Alechina
, Hans van Ditmarsch:
Model Checking for Coalition Announcement Logic. KI 2018: 11-23 - [i25]Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow Update Synthesis. CoRR abs/1802.00914 (2018) - [i24]Hans van Ditmarsch, Tim French, James Hales:
Positive Announcements. CoRR abs/1803.01696 (2018) - [i23]Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine:
How does uncertainty about other voters determine a strategic vote? CoRR abs/1809.10489 (2018) - 2017
- [j60]Hans van Ditmarsch, Wiebe van der Hoek
, Barteld Kooi, Louwe B. Kuijer:
Arbitrary arrow update logic. Artif. Intell. 242: 80-106 (2017) - [j59]Carlos Areces
, Hans van Ditmarsch, Raul Fervari
, François Schwarzentruber:
The modal logic of copy and remove. Inf. Comput. 255: 243-261 (2017) - [j58]Hans van Ditmarsch, Jan van Eijck, Pere Pardo
, Rahim Ramezanian, François Schwarzentruber
:
Epistemic protocols for dynamic gossip. J. Appl. Log. 20: 1-31 (2017) - [j57]Mikkel Birkegaard Andersen, Thomas Bolander
, Hans van Ditmarsch, Martin Holm Jensen:
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synth. 194(7): 2447-2487 (2017) - [j56]Hans van Ditmarsch, Wiebe van der Hoek
, Louwe B. Kuijer:
The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. 693: 1-12 (2017) - [c67]Hans van Ditmarsch
, Ioannis Kokkinis
:
The Expected Duration of Sequential Gossiping. EUMAS/AT 2017: 131-146 - [c66]Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
:
Neighbourhood Contingency Bisimulation. ICLA 2017: 48-63 - [c65]Christophe Chareton, Hans van Ditmarsch:
Strategic Knowledge of the Past in Quantum Cryptography. LORI 2017: 347-361 - [c64]Hans van Ditmarsch, Ioannis Kokkinis
, Anders Stockmarr:
Reachability and Expectation in Gossiping. PRIMA 2017: 93-109 - [c63]Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
:
Cheryl's Birthday. TARK 2017: 1-9 - [c62]Francesco Belardinelli
, Hans van Ditmarsch, Wiebe van der Hoek
:
A Logic for Global and Local Announcements. TARK 2017: 28-42 - [i22]Hans van Ditmarsch:
Asynchronous Announcements. CoRR abs/1705.03392 (2017) - [i21]Hans van Ditmarsch, Tim French:
Quantifying over boolean announcements. CoRR abs/1712.05310 (2017) - [i20]Chitta Baral, Thomas Bolander
, Hans van Ditmarsch, Sheila A. McIlraith:
Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports 7(6): 1-47 (2017) - 2016
- [j55]Hans van Ditmarsch, Jie Fan:
Propositional quantification in logics of contingency. J. Appl. Non Class. Logics 26(1): 81-102 (2016) - [j54]Thomas Bolander
, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo
, François Schwarzentruber
:
Announcements to Attentive Agents. J. Log. Lang. Inf. 25(1): 1-35 (2016) - [j53]Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French
:
The Undecidability of Quantified Announcements. Stud Logica 104(4): 597-640 (2016) - [c61]Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella
:
Algebraic semantics of refinement modal logic. Advances in Modal Logic 2016: 38-57 - [c60]Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig:
Before announcement. Advances in Modal Logic 2016: 58-77 - [c59]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
Fully Arbitrary Public Announcements. Advances in Modal Logic 2016: 252-267 - [c58]Francesco Belardinelli
, Hans van Ditmarsch, Wiebe van der Hoek:
Second-order Propositional Announcement Logic. AAMAS 2016: 635-643 - [c57]Hans van Ditmarsch:
Epistemic Gossip Protocols. CLAR 2016: 1 - [c56]Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in Multi-Agent Modal Logics. IJCAI 2016: 1066-1073 - [i19]Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang:
True Lies. CoRR abs/1606.08333 (2016) - [i18]Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer:
The Undecidability of Arbitrary Arrow Update Logic. CoRR abs/1609.05686 (2016) - 2015
- [b1]Hans van Ditmarsch, Barteld Kooi:
One Hundred Prisoners and a Light Bulb. Springer 2015, ISBN 978-3-319-16693-3, pp. I-IX, 1-188 - [j52]Andrés Cordón-Franco
, Hans van Ditmarsch, David Fernández-Duque
, Fernando Soler-Toscano
:
A geometric protocol for cryptography with cards. Des. Codes Cryptogr. 74(1): 113-125 (2015) - [j51]Hans van Ditmarsch, Petar Iliev:
The succinctness of the cover modality. J. Appl. Non Class. Logics 25(4): 373-405 (2015) - [j50]Jie Fan, Yanjing Wang
, Hans van Ditmarsch:
Contingency and Knowing Whether. Rev. Symb. Log. 8(1): 75-107 (2015) - [j49]Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat:
The complexity of one-agent refinement modal logic. Theor. Comput. Sci. 603: 58-83 (2015) - [c55]Jie Fan, Hans van Ditmarsch:
Neighborhood Contingency Logic. ICLA 2015: 88-99 - [c54]Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche:
An Epistemic Separation Logic. WoLLIC 2015: 156-173 - [c53]Hans van Ditmarsch, Sophia Knight
, Aybüke Özgün:
Announcement as effort on topological spaces. TARK 2015: 283-297 - [i17]Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi:
An Introduction to Logics of Knowledge and Belief. CoRR abs/1503.00806 (2015) - [i16]Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen:
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. CoRR abs/1506.07990 (2015) - [i15]Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber:
Dynamic Gossip. CoRR abs/1511.00867 (2015) - 2014
- [j48]Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
:
Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. 208: 18-40 (2014) - [j47]Laura Bozzelli, Hans van Ditmarsch, Tim French
, James Hales, Sophie Pinchinat:
Refinement modal logic. Inf. Comput. 239: 303-339 (2014) - [j46]Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek
, Steffen Jørgensen:
Introduction. IGTR 16(1) (2014) - [j45]Hans van Ditmarsch, Tim French
:
Semantics for Knowledge and Change of Awareness. J. Log. Lang. Inf. 23(2): 169-195 (2014) - [j44]Hans van Ditmarsch, David Fernández-Duque
, Wiebe van der Hoek
:
On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. 24(6): 1209-1227 (2014) - [j43]Hans van Ditmarsch:
Dynamics of lying. Synth. 191(5): 745-777 (2014) - [c52]Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev:
Some Exponential Lower Bounds on Formula-size in Modal Logic. Advances in Modal Logic 2014: 139-157 - [c51]Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Almost Necessary. Advances in Modal Logic 2014: 178-196 - [c50]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The undecidability of group announcements. AAMAS 2014: 893-900 - [c49]Hans van Ditmarsch, Sophia Knight
:
Partial Information and Uniform Strategies. CLIMA 2014: 183-198 - [c48]Maduka Attamah, Hans van Ditmarsch, Davide Grossi
, Wiebe van der Hoek
:
Knowledge and Gossip. ECAI 2014: 21-26 - [c47]Maduka Attamah, Hans van Ditmarsch, Davide Grossi
, Wiebe van der Hoek
:
A Framework for Epistemic Gossip Protocols. EUMAS 2014: 193-209 - [c46]Hans van Ditmarsch, Sophia Knight
, Aybüke Özgün:
Arbitrary Announcements on Topological Subset Spaces. EUMAS 2014: 252-266 - [c45]Hans van Ditmarsch:
The Ditmarsch Tale of Wonders. KI 2014: 1-12 - [c44]Carlos Areces
, Hans van Ditmarsch, Raul Fervari
, François Schwarzentruber
:
Logics with Copy and Remove. WoLLIC 2014: 51-65 - [p3]Thomas Ågotnes, Hans van Ditmarsch:
Knowledge Games and Coalitional Abilities. Johan van Benthem on Logic and Information Dynamics 2014: 451-485 - [i14]Philippe Balbiani, Hans van Ditmarsch:
A simple proof of the completeness of APAL. CoRR abs/1409.2612 (2014) - 2013
- [j42]Hans van Ditmarsch, Wiebe van der Hoek
, Ji Ruan:
Connecting dynamic epistemic and temporal epistemic logics. Log. J. IGPL 21(3): 380-403 (2013) - [j41]Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek
:
Editorial Introduction to the Special Issue LOFT Sevilla. J. Philos. Log. 42(6): 795-798 (2013) - [j40]Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández:
Dynamic Consequence and Public announcement. Rev. Symb. Log. 6(4): 659-679 (2013) - [j39]Hans van Ditmarsch:
Revocable Belief Revision. Stud Logica 101(6): 1185-1214 (2013) - [j38]Hans van Ditmarsch, Jérôme Lang:
Editorial introduction to the special issue LORI Guangzhou. Synth. 190(Supplement-1): 1-4 (2013) - [j37]Andrés Cordón-Franco
, Hans van Ditmarsch, David Fernández-Duque
, Fernando Soler-Toscano
:
A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. 495: 81-95 (2013) - [c43]