Hans van Ditmarsch

According to our database1, Hans van Ditmarsch authored at least 159 papers between 2002 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes.
CoRR, 2021

2020
Editors' Review and Introduction: Lying in Logic, Language, and Cognition.
Top. Cogn. Sci., 2020

Arrow update synthesis.
Inf. Comput., 2020

Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts.
CoRR, 2020

Quantifying Notes Revisited.
CoRR, 2020

Knowledge and simplicial complexes.
CoRR, 2020

Bilattice logic of epistemic actions and knowledge.
Ann. Pure Appl. Log., 2020

The logic of gossiping.
Artif. Intell., 2020

From Public Announcements to Asynchronous Announcements.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Expressivity of Some Versions of APAL.
Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Quantifying over Asynchronous Information Change.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
Announcement as effort on topological spaces.
Synth., 2019

Correction to: Dynamics of lying.
Synth., 2019

Dynamic Graded Epistemic Logic.
Rev. Symb. Log., 2019

A public announcement separation logic.
Math. Struct. Comput. Sci., 2019

Strengthening Gossip Protocols using Protocol-Dependent Knowledge.
FLAP, 2019

Forgetting in multi-agent modal logics.
Artif. Intell., 2019

Knowledge Without Complete Certainty.
Proceedings of the Logic, Language, Information, and Computation, 2019

Reachability of Five Gossip Protocols.
Proceedings of the Reachability Problems - 13th International Conference, 2019

Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
True lies.
Synth., 2018

Private Announcements on Topological Spaces.
Stud Logica, 2018

How does uncertainty about other voters determine a strategic vote?
CoRR, 2018

Positive Announcements.
CoRR, 2018

Implicit, explicit and speculative knowledge.
Artif. Intell., 2018

Model Checking for Coalition Announcement Logic.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

2017
The undecidability of arbitrary arrow update logic.
Theor. Comput. Sci., 2017

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief.
Synth., 2017

Epistemic protocols for dynamic gossip.
J. Appl. Log., 2017

The modal logic of copy and remove.
Inf. Comput., 2017

Epistemic Planning (Dagstuhl Seminar 17231).
Dagstuhl Reports, 2017

Quantifying over boolean announcements.
CoRR, 2017

Cheryl's Birthday.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Asynchronous Announcements.
CoRR, 2017

A Logic for Global and Local Announcements.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Arbitrary arrow update logic.
Artif. Intell., 2017

Reachability and Expectation in Gossiping.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Strategic Knowledge of the Past in Quantum Cryptography.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Neighbourhood Contingency Bisimulation.
Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

The Expected Duration of Sequential Gossiping.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

2016
The Undecidability of Quantified Announcements.
Stud Logica, 2016

Announcements to Attentive Agents.
J. Log. Lang. Inf., 2016

Propositional quantification in logics of contingency.
J. Appl. Non Class. Logics, 2016

Epistemic Gossip Protocols.
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), 2016

Second-order Propositional Announcement Logic.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Fully Arbitrary Public Announcements.
Proceedings of the Advances in Modal Logic 11, 2016

Before announcement.
Proceedings of the Advances in Modal Logic 11, 2016

Algebraic semantics of refinement modal logic.
Proceedings of the Advances in Modal Logic 11, 2016

2015
The complexity of one-agent refinement modal logic.
Theor. Comput. Sci., 2015

Contingency and Knowing Whether.
Rev. Symb. Log., 2015

The succinctness of the cover modality.
J. Appl. Non Class. Logics, 2015

A geometric protocol for cryptography with cards.
Des. Codes Cryptogr., 2015

An Introduction to Logics of Knowledge and Belief.
CoRR, 2015

Dynamic Gossip.
CoRR, 2015

An Epistemic Separation Logic.
Proceedings of the Logic, Language, Information, and Computation, 2015

Neighborhood Contingency Logic.
Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

One Hundred Prisoners and a Light Bulb.
Springer, ISBN: 978-3-319-16693-3, 2015

2014
Dynamics of lying.
Synth., 2014

On the definability of simulation and bisimulation in epistemic logic.
J. Log. Comput., 2014

Semantics for Knowledge and Change of Awareness.
J. Log. Lang. Inf., 2014

Introduction.
IGTR, 2014

Refinement modal logic.
Inf. Comput., 2014

A simple proof of the completeness of APAL.
CoRR, 2014

Hidden protocols: Modifying our expectations in an evolving world.
Artif. Intell., 2014

Logics with Copy and Remove.
Proceedings of the Logic, Language, Information, and Computation, 2014

The Ditmarsch Tale of Wonders.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Arbitrary Announcements on Topological Subset Spaces.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

A Framework for Epistemic Gossip Protocols.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Knowledge and Gossip.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Partial Information and Uniform Strategies.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

The undecidability of group announcements.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Almost Necessary.
Proceedings of the Advances in Modal Logic 10, 2014

Some Exponential Lower Bounds on Formula-size in Modal Logic.
Proceedings of the Advances in Modal Logic 10, 2014

Knowledge Games and Coalitional Abilities.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
A colouring protocol for the generalized Russian cards problem.
Theor. Comput. Sci., 2013

Editorial introduction to the special issue LORI Guangzhou.
Synth., 2013

Revocable Belief Revision.
Stud Logica, 2013

Dynamic Consequence and Public announcement.
Rev. Symb. Log., 2013

Editorial Introduction to the Special Issue LOFT Sevilla.
J. Philos. Log., 2013

Connecting dynamic epistemic and temporal epistemic logics.
Log. J. IGPL, 2013

Knowing Whether.
CoRR, 2013

Knowledge, awareness, and bisimulation.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Listen to Me! Public Announcements to Agents That Pay Attention - or Not.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Subset Space Logic with Arbitrary Announcements.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Bisimulation for Single-Agent Plausibility Models.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012
On the Logic of Lying.
Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

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, 2012

Public announcements, public assignments and the complexity of their logic.
J. Appl. Non Class. Logics, 2012

A secure additive protocol for card players.
Australas. J Comb., 2012

Local properties in modal logic.
Artif. Intell., 2012

Quantifying Notes.
Proceedings of the Logic, Language, Information and Computation, 2012

Coalitional Public Announcement Games.
Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Unconditionally Secure Protocols with Genetic Algorithms.
Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.
Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

Some Truths Are Best Left Unsaid.
Proceedings of the Advances in Modal Logic 9, 2012

Strategic voting and the logic of knowledge.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Action models for knowledge and awareness.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
What will they say? - Public Announcement Games.
Synth., 2011

The rules of the game are changing: Scientific impact factors and publication strategies among logicians.
J. Log. Comput., 2011

From Situation Calculus to Dynamic Epistemic Logic.
J. Log. Comput., 2011

Logic in India - Editorial Introduction.
J. Philos. Log., 2011

Question-answer games.
J. Appl. Non Class. Logics, 2011

Preface.
Electron. Notes Theor. Comput. Sci., 2011

Hidden protocols.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Becoming Aware of Propositional Variables.
Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Secure Communication of Local States in Interpreted Systems.
Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2011

Three Steps.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

On the Interactions of Awareness and Certainty.
Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Reasoning about local properties in modal logic.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Tableaux for Public Announcement Logic.
J. Log. Comput., 2010

Group announcement logic.
J. Appl. Log., 2010

Verifying one hundred prisoners and a lightbulb.
J. Appl. Non Class. Logics, 2010

Intention Change via Local Assignments.
Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

One Hundred Prisoners and a Lightbulb - Logic and Computation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Logical Model of Intention and Plan Dynamics.
Proceedings of the ECAI 2010, 2010

Future Event Logic - Axioms and Complexity.
Proceedings of the Advances in Modal Logic 8, 2010

2009
Logic of change, change of logic.
Synth., 2009

Introspective forgetting.
Synth., 2009

Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial.
J. Philos. Log., 2009

Avoiding bias in cards cryptography.
Australas. J Comb., 2009

Intentions and Assignments.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Knowing More - From Global to Local Correspondence.
Proceedings of the IJCAI 2009, 2009

Awareness and forgetting of facts and agents.
Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

2008
Logical Fragments in Ibn Khaldūn's Muqaddimah.
Proceedings of the Unity of Science in the Arabic Tradition, 2008

'Knowable' as 'known after an announcement'.
Rev. Symb. Log., 2008

Sum and Product in Dynamic Epistemic Logic.
J. Log. Comput., 2008

Simulation and Information: Quantifying over Epistemic Events.
Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Coalitions and announcements.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Undecidability for arbitrary public announcement logic.
Proceedings of the Advances in Modal Logic 7, 2008

2007
My beliefs about your beliefs: a case study in theory of mind and epistemic logic.
Synth., 2007

Comments to 'logics of public communications'.
Synth., 2007

Foreword.
J. Appl. Non Class. Logics, 2007

Editorial "Tools for Teaching Logic".
Log. J. IGPL, 2007

Cyclically closed pattern classes of permutations.
Australas. J Comb., 2007

Compositions of pattern restricted sets of permutations.
Australas. J Comb., 2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Dynamic Epistemic Logic and Knowledge Puzzles.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Optimal Regression for Reasoning about Knowledge and Actions.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006
The Secret of My Success.
Synth., 2006

The Logic of Pit.
Synth., 2006

Model Checking Russian Cards.
Electron. Notes Theor. Comput. Sci., 2006

Semantic results for ontic and epistemic change
CoRR, 2006

2005
Permuting machines and priority queues.
Theor. Comput. Sci., 2005

Prolegomena to Dynamic Logic for Belief Revision.
Synth., 2005

The case of the hidden hand.
J. Appl. Non Class. Logics, 2005

Sorting Classes.
Electron. J. Comb., 2005

Safe communication for card players by combinatorial designs for two-step protocols.
Australas. J Comb., 2005

Belief change and dynamic logic.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Model Checking Sum and Product.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Dynamic epistemic logic with assignment.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004
Restricted permutations and queue jumping.
Discret. Math., 2004

Some Game Theory of Pit.
Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Public Announcements and Belief Expansion.
Proceedings of the Advances in Modal Logic 5, 2004

2003
The Russian Cards Problem.
Stud Logica, 2003

Longest subsequences in permutations.
Australas. J Comb., 2003

Concurrent dynamic epistemic logic for MAS.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Descriptions of Game Actions.
J. Log. Lang. Inf., 2002


  Loading...