Hans van Ditmarsch

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 89

Top Venues

CoRR

WoLLIC

Synth.

Advances in Modal Logic

Publications

Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems. CoRR (2024)
Thomas Ågotnes, Hans van Ditmarsch, Tim French
The Undecidability of Quantified Announcements. CoRR (2024)
Marta Bílková, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
Bisimulation for Impure Simplicial Complexes. CoRR (2024)
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)
Hans van Ditmarsch, Sunil Simon
Boolean Observation Games. J. Artif. Intell. Res. 79 (2024)
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) (2024)
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) (2024)
Hans van Ditmarsch, Didier Galmiche, Marta Gawek
An Epistemic Separation Logic with Action Models. J. Log. Lang. Inf. 32 (1) (2023)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Almost APAL. J. Log. Comput. 33 (6) (2023)
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) (2023)
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) (2023)
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33 (6) (2023)
Hans van Ditmarsch, Roman Kuznets, Rojo Fanamperana Randrianomentsoa
On Two- and Three-valued Semantics for Impure Simplicial Complexes. GandALF (2023)
Hans van Ditmarsch
To be announced. Inf. Comput. 292 (2023)
Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. LORI (2023)
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)
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Stud Logica 111 (3) (2023)
Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
Impure Simplicial Complexes: Complete Axiomatization. Log. Methods Comput. Sci. 19 (4) (2023)
Hans van Ditmarsch, Didier Galmiche, Marta Gawek
A Separation Logic with Histories of Epistemic Actions as Resources. WoLLIC (2023)
Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch
A New Hope. AiML (2022)
Hans van Ditmarsch, Malvin Gattinger
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. WoLLIC (2022)
Hans van Ditmarsch, Sunil Simon
Boolean Observation Games. CoRR (2022)
Hans van Ditmarsch, Tim French, Rustam Galimullin
Satisfiability of Quantified Boolean Announcements. CoRR (2022)
Rojo Fanamperana Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
Impure Simplicial Complexes: Complete Axiomatization. CoRR (2022)
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
Communication Pattern Logic: Epistemic and Topological Views. CoRR (2022)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements. ACM Trans. Comput. Log. 23 (2) (2022)
Hao Wu, Hans van Ditmarsch, Jinsheng Chen
A Labelled Sequent Calculus for Public Announcement Logic. CoRR (2022)
Hans van Ditmarsch, Tim French
Quantifying over Boolean announcements. Log. Methods Comput. Sci. 18 (1) (2022)
Hans van Ditmarsch, Tim French, James Hales
Positive Announcements. Stud Logica 109 (3) (2021)
Hans van Ditmarsch, Tim French, Rustam Galimullin
No Finite Model Property for Logics of Quantified Announcements. TARK (2021)
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
Neighbourhood semantics for graded modal logic. CoRR (2021)
Hans van Ditmarsch
Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. WoLLIC (2021)
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 (2021)
Hans van Ditmarsch
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes. CoRR (2021)
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) (2021)
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 (2021)
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang
Verification and Strategy Synthesis for Coalition Announcement Logic. J. Log. Lang. Inf. 30 (4) (2021)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements. ECAI (2020)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The logic of gossiping. Artif. Intell. 286 (2020)
Hans van Ditmarsch
Quantifying Notes Revisited. CoRR (2020)
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change. AiML (2020)
Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
Knowledge and simplicial complexes. CoRR (2020)
Hans van Ditmarsch, Mo Liu, Louwe B. Kuijer, Igor Sedlár
Expressivity of Some Versions of APAL. DaLí (2020)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow update synthesis. Inf. Comput. 275 (2020)
Hans van Ditmarsch, Petra Hendriks, Rineke Verbrugge
Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. 12 (2) (2020)
Zeinab Bakhtiari, Hans van Ditmarsch, Umberto Rivieccio
Bilattice logic of epistemic actions and knowledge. Ann. Pure Appl. Log. 171 (6) (2020)
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts. CoRR (2020)
Hans van Ditmarsch, Louwe B. Kuijer
Knowledge Without Complete Certainty. WoLLIC (2019)
Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
A public announcement separation logic. Math. Struct. Comput. Sci. 29 (6) (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR (2019)
Hans van Ditmarsch
Correction to: Dynamics of lying. Synth. 196 (6) (2019)
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
Forgetting in multi-agent modal logics. Artif. Intell. 266 (2019)
Minghui Ma, Hans van Ditmarsch
Dynamic Graded Epistemic Logic. Rev. Symb. Log. 12 (4) (2019)
Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer
Reachability of Five Gossip Protocols. RP (2019)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Announcement as effort on topological spaces. Synth. 196 (7) (2019)
Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS (2019)
Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo
Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6 (1) (2019)
Hans van Ditmarsch, Tim French, James Hales
Positive Announcements. CoRR (2018)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Implicit, explicit and speculative knowledge. Artif. Intell. 256 (2018)
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
True lies. Synth. 195 (10) (2018)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arrow Update Synthesis. CoRR (2018)
Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine
How does uncertainty about other voters determine a strategic vote? CoRR (2018)
Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch
Model Checking for Coalition Announcement Logic. KI (2018)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Private Announcements on Topological Spaces. Stud Logica 106 (3) (2018)
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) (2017)
Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith
Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports 7 (6) (2017)
Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
Neighbourhood Contingency Bisimulation. ICLA (2017)
Hans van Ditmarsch
Asynchronous Announcements. CoRR (2017)
Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
The modal logic of copy and remove. Inf. Comput. 255 (2017)
Hans van Ditmarsch, Ioannis Kokkinis, Anders Stockmarr
Reachability and Expectation in Gossiping. PRIMA (2017)
Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
Cheryl's Birthday. TARK (2017)
Hans van Ditmarsch, Tim French
Quantifying over boolean announcements. CoRR (2017)
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
A Logic for Global and Local Announcements. TARK (2017)
Hans van Ditmarsch, Ioannis Kokkinis
The Expected Duration of Sequential Gossiping. EUMAS/AT (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The undecidability of arbitrary arrow update logic. Theor. Comput. Sci. 693 (2017)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer
Arbitrary arrow update logic. Artif. Intell. 242 (2017)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Epistemic protocols for dynamic gossip. J. Appl. Log. 20 (2017)
Christophe Chareton, Hans van Ditmarsch
Strategic Knowledge of the Past in Quantum Cryptography. LORI (2017)
Hans van Ditmarsch, Jie Fan
Propositional quantification in logics of contingency. J. Appl. Non Class. Logics 26 (1) (2016)
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
Second-order Propositional Announcement Logic. AAMAS (2016)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement. Advances in Modal Logic (2016)
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
Forgetting in Multi-Agent Modal Logics. IJCAI (2016)
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents. J. Log. Lang. Inf. 25 (1) (2016)
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
True Lies. CoRR (2016)
Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella
Algebraic semantics of refinement modal logic. Advances in Modal Logic (2016)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
The Undecidability of Arbitrary Arrow Update Logic. CoRR (2016)
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
Fully Arbitrary Public Announcements. Advances in Modal Logic (2016)
Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French
The Undecidability of Quantified Announcements. Stud Logica 104 (4) (2016)
Hans van Ditmarsch
Epistemic Gossip Protocols. CLAR (2016)
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
An Introduction to Logics of Knowledge and Belief. CoRR (2015)
Jie Fan, Yanjing Wang, Hans van Ditmarsch
Contingency and Knowing Whether. Rev. Symb. Log. 8 (1) (2015)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Dynamic Gossip. CoRR (2015)
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
The complexity of one-agent refinement modal logic. Theor. Comput. Sci. 603 (2015)
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
Announcement as effort on topological spaces. TARK (2015)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. CoRR (2015)
Jie Fan, Hans van Ditmarsch
Neighborhood Contingency Logic. ICLA (2015)
Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
An Epistemic Separation Logic. WoLLIC (2015)
Hans van Ditmarsch, Petar Iliev
The succinctness of the cover modality. J. Appl. Non Class. Logics 25 (4) (2015)
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) (2015)
Hans van Ditmarsch
Dynamics of lying. Synth. 191 (5) (2014)

Hans van Ditmarsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans van Ditmarsch