Hans van Ditmarsch

Mo Liu

Igor Sedlár

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

Quantifying over Asynchronous Information Change.

[BibT_eX]

[DOI]

Saúl Fernández González

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Correction to: Dynamics of lying.

[BibT_eX]

[DOI]

Synth., 2019

Dynamic Graded Epistemic Logic.

[BibT_eX]

[DOI]

Minghui Ma

Rev. Symb. Log., 2019

A public announcement separation logic.

[BibT_eX]

[DOI]

Jean-René Courtault

Didier Galmiche

Math. Struct. Comput. Sci., 2019

Strengthening Gossip Protocols using Protocol-Dependent Knowledge.

[BibT_eX]

[DOI]

FLAP, 2019

Forgetting in multi-agent modal logics.

[BibT_eX]

[DOI]

Liangda Fang

Yongmei Liu

Artif. Intell., 2019

Knowledge Without Complete Certainty.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2019

Reachability of Five Gossip Protocols.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 13th International Conference, 2019

Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

True lies.

[BibT_eX]

[DOI]

Synth., 2018

Private Announcements on Topological Spaces.

[BibT_eX]

[DOI]

Aybüke Özgün

Stud Logica, 2018

How does uncertainty about other voters determine a strategic vote?

[BibT_eX]

[DOI]

Zeinab Bakhtiari

Abdallah Saffidine

CoRR, 2018

Implicit, explicit and speculative knowledge.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Yì N. Wáng

Artif. Intell., 2018

Model Checking for Coalition Announcement Logic.

[BibT_eX]

[DOI]

Rustam Galimullin

Natasha Alechina

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

2017

The undecidability of arbitrary arrow update logic.

[BibT_eX]

[DOI]

Mikkel Birkegaard Andersen

Theor. Comput. Sci., 2017

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

[BibT_eX]

[DOI]

Thomas Bolander

Martin Holm Jensen

Synth., 2017

Epistemic protocols for dynamic gossip.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

The modal logic of copy and remove.

[BibT_eX]

[DOI]

Carlos Areces

Raul Fervari

Inf. Comput., 2017

Epistemic Planning (Dagstuhl Seminar 17231).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Cheryl's Birthday.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Asynchronous Announcements.

[BibT_eX]

[DOI]

CoRR, 2017

A Logic for Global and Local Announcements.

[BibT_eX]

[DOI]

Francesco Belardinelli

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Arbitrary arrow update logic.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Reachability and Expectation in Gossiping.

[BibT_eX]

[DOI]

Ioannis Kokkinis

Anders Stockmarr

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.

[BibT_eX]

[DOI]

Christophe Chareton

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Neighbourhood Contingency Bisimulation.

[BibT_eX]

[DOI]

Zeinab Bakhtiari

Helle Hvid Hansen

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

The Expected Duration of Sequential Gossiping.

[BibT_eX]

[DOI]

Ioannis Kokkinis

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

2016

The Undecidability of Quantified Announcements.

[BibT_eX]

[DOI]

Timothy Noel French

Stud Logica, 2016

Announcements to Attentive Agents.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2016

Propositional quantification in logics of contingency.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2016

Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

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

Second-order Propositional Announcement Logic.

[BibT_eX]

[DOI]

Francesco Belardinelli

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Fully Arbitrary Public Announcements.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

Before announcement.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

Algebraic semantics of refinement modal logic.

[BibT_eX]

[DOI]

Zeinab Bakhtiari

Sabine Frittella

Proceedings of the Advances in Modal Logic 11, 2016

2015

The complexity of one-agent refinement modal logic.

[BibT_eX]

[DOI]

Laura Bozzelli

Sophie Pinchinat

Theor. Comput. Sci., 2015

Contingency and Knowing Whether.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2015

The succinctness of the cover modality.

[BibT_eX]

[DOI]

Petar Iliev

J. Appl. Non Class. Logics, 2015

A geometric protocol for cryptography with cards.

[BibT_eX]

[DOI]

Des. Codes Cryptogr., 2015

Announcement as effort on topological spaces.

[BibT_eX]

[DOI]

Aybüke Özgün

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

An Introduction to Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

CoRR, 2015

Dynamic Gossip.

[BibT_eX]

[DOI]

CoRR, 2015

An Epistemic Separation Logic.

[BibT_eX]

[DOI]

Jean-René Courtault

Didier Galmiche

Proceedings of the Logic, Language, Information, and Computation, 2015

Neighborhood Contingency Logic.

[BibT_eX]

[DOI]

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

One Hundred Prisoners and a Light Bulb.

[BibT_eX]

[DOI]

Barteld Kooi

Springer, ISBN: 978-3-319-16693-3, 2015

2014

Dynamics of lying.

[BibT_eX]

[DOI]

Synth., 2014

On the definability of simulation and bisimulation in epistemic logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Semantics for Knowledge and Change of Awareness.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2014

Introduction.

[BibT_eX]

[DOI]

IGTR, 2014

Refinement modal logic.

[BibT_eX]

[DOI]

Inf. Comput., 2014

A simple proof of the completeness of APAL.

[BibT_eX]

[DOI]

CoRR, 2014

Hidden protocols: Modifying our expectations in an evolving world.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Logics with Copy and Remove.

[BibT_eX]

[DOI]

Carlos Areces

Raul Fervari

Proceedings of the Logic, Language, Information, and Computation, 2014

The Ditmarsch Tale of Wonders.

[BibT_eX]

[DOI]

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Arbitrary Announcements on Topological Subset Spaces.

[BibT_eX]

[DOI]

Aybüke Özgün

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

A Framework for Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Knowledge and Gossip.

[BibT_eX]

[DOI]

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

Partial Information and Uniform Strategies.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

The undecidability of group announcements.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Almost Necessary.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

Some Exponential Lower Bounds on Formula-size in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

Knowledge Games and Coalitional Abilities.

[BibT_eX]

[DOI]

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

A colouring protocol for the generalized Russian cards problem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Editorial introduction to the special issue LORI Guangzhou.

[BibT_eX]

[DOI]

Jérôme Lang

Synth., 2013

Revocable Belief Revision.

[BibT_eX]

[DOI]

Stud Logica, 2013

Dynamic Consequence and Public announcement.

[BibT_eX]

[DOI]

Ángel Nepomuceno-Fernández

Rev. Symb. Log., 2013

Editorial Introduction to the Special Issue LOFT Sevilla.

[BibT_eX]

[DOI]

Giacomo Bonanno

J. Philos. Log., 2013

Connecting dynamic epistemic and temporal epistemic logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Knowing Whether.

[BibT_eX]

[DOI]

CoRR, 2013

Knowledge, awareness, and bisimulation.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Yì N. Wáng

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.

[BibT_eX]

[DOI]

Emiliano Lorini

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Subset Space Logic with Arbitrary Announcements.

[BibT_eX]

[DOI]

Mikkel Birkegaard Andersen

Andrey Kudinov

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Bisimulation for Single-Agent Plausibility Models.

[BibT_eX]

[DOI]

Thomas Bolander

Martin Holm Jensen

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

On the Logic of Lying.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stud Logica, 2012

Public announcements, public assignments and the complexity of their logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2012

A secure additive protocol for card players.

[BibT_eX]

[DOI]

Joost J. Joosten

Australas. J Comb., 2012

Local properties in modal logic.

[BibT_eX]

[DOI]

Artif. Intell., 2012

Quantifying Notes.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information and Computation, 2012

Coalitional Public Announcement Games.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Unconditionally Secure Protocols with Genetic Algorithms.

[BibT_eX]

[DOI]

Ignacio Hernández-Antón

Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.

[BibT_eX]

[DOI]

Jan van Eijck

Ignacio Hernández-Antón

Floor Sietsma

Sunil Simon

Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2012

Some Truths Are Best Left Unsaid.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

Strategic voting and the logic of knowledge.

[BibT_eX]

[DOI]

Jérôme Lang

Abdallah Saffidine

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Action models for knowledge and awareness.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

What will they say? - Public Announcement Games.

[BibT_eX]

[DOI]

Synth., 2011

The rules of the game are changing: Scientific impact factors and publication strategies among logicians.

[BibT_eX]

[DOI]

Rineke Verbrugge

J. Log. Comput., 2011

From Situation Calculus to Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Logic in India - Editorial Introduction.

[BibT_eX]

[DOI]

Rohit Parikh

Ramaswamy Ramanujam

J. Philos. Log., 2011

Question-answer games.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Preface.

[BibT_eX]

[DOI]

Valentin Goranko

Wojtek Jamroga

Manuel Ojeda-Aciego

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Hidden protocols.

[BibT_eX]

[DOI]

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

Becoming Aware of Propositional Variables.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Secure Communication of Local States in Interpreted Systems.

[BibT_eX]

[DOI]

Joost J. Joosten

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2011

Three Steps.

[BibT_eX]

[DOI]

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

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.

[BibT_eX]

[DOI]

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

On the Interactions of Awareness and Certainty.

[BibT_eX]

[DOI]

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Reasoning about local properties in modal logic.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Tableaux for Public Announcement Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Group announcement logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Verifying one hundred prisoners and a lightbulb.

[BibT_eX]

[DOI]

Jan van Eijck

William Wu

J. Appl. Non Class. Logics, 2010

Intention Change via Local Assignments.

[BibT_eX]

[DOI]

Emiliano Lorini

Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

One Hundred Prisoners and a Lightbulb - Logic and Computation.

[BibT_eX]

[DOI]

Jan van Eijck

William Wu

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Logical Model of Intention and Plan Dynamics.

[BibT_eX]

[DOI]

Emiliano Lorini

Proceedings of the ECAI 2010, 2010

Future Event Logic - Axioms and Complexity.

[BibT_eX]

[DOI]

Sophie Pinchinat

Proceedings of the Advances in Modal Logic 8, 2010

2009

Logic of change, change of logic.

[BibT_eX]

[DOI]

Brian Hill

Ondrej Majer

Synth., 2009

Introspective forgetting.

[BibT_eX]

[DOI]

Synth., 2009

Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial.

[BibT_eX]

[DOI]

Lawrence S. Moss

J. Philos. Log., 2009

Avoiding bias in cards cryptography.

[BibT_eX]

[DOI]

Sigrid Roehling

Australas. J Comb., 2009

Intentions and Assignments.

[BibT_eX]

[DOI]

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

Knowing More - From Global to Local Correspondence.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Awareness and Forgetting of Facts and Agents.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008

Logical Fragments in Ibn Khaldūn's Muqaddimah.

[BibT_eX]

[DOI]

Proceedings of the Unity of Science in the Arabic Tradition, 2008

'Knowable' as 'known after an announcement'.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2008

Sum and Product in Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Rineke Verbrugge

J. Log. Comput., 2008

Simulation and Information: Quantifying over Epistemic Events.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Coalitions and announcements.

[BibT_eX]

[DOI]

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

Undecidability for arbitrary public announcement logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Willem Adrian Labuschagne

Synth., 2007

Comments to 'logics of public communications'.

[BibT_eX]

[DOI]

Synth., 2007

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Editorial "Tools for Teaching Logic".

[BibT_eX]

[DOI]

María Manzano

Log. J. IGPL, 2007

Cyclically closed pattern classes of permutations.

[BibT_eX]

[DOI]

Australas. J Comb., 2007

Compositions of pattern restricted sets of permutations.

[BibT_eX]

[DOI]

Derek A. Holton

D. J. McCaughan

Australas. J Comb., 2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Dynamic Epistemic Logic and Knowledge Puzzles.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Optimal Regression for Reasoning about Knowledge and Actions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

The Secret of My Success.

[BibT_eX]

[DOI]

Synth., 2006

The Logic of Pit.

[BibT_eX]

[DOI]

Synth., 2006

Semantic results for ontic and epistemic change

[BibT_eX]

[DOI]

CoRR, 2006

2005

Permuting machines and priority queues.

[BibT_eX]

[DOI]

Derek A. Holton

D. J. McCaughan

Theor. Comput. Sci., 2005

Prolegomena to Dynamic Logic for Belief Revision.

[BibT_eX]

[DOI]

Synth., 2005

The case of the hidden hand.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2005

Model Checking Russian Cards.

[BibT_eX]

[DOI]

Ron van der Meyden

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Sorting Classes.

[BibT_eX]

[DOI]

Electron. J. Comb., 2005

Safe communication for card players by combinatorial designs for two-step protocols.

[BibT_eX]

[DOI]

Australas. J Comb., 2005

Belief change and dynamic logic.

[BibT_eX]

[DOI]

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Model Checking Sum and Product.

[BibT_eX]

[DOI]

L. C. Verbrugge

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Dynamic epistemic logic with assignment.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Restricted permutations and queue jumping.

[BibT_eX]

[DOI]

Derek A. Holton

Discret. Math., 2004

Some Game Theory of Pit.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Public Announcements and Belief Expansion.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

The Russian Cards Problem.

[BibT_eX]

[DOI]

Stud Logica, 2003

Longest subsequences in permutations.

[BibT_eX]

[DOI]

Michael D. Atkinson

B. D. Handley

Jaroslav Opatrny

Australas. J Comb., 2003

Concurrent dynamic epistemic logic for MAS.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Descriptions of Game Actions.

[BibT_eX]

[DOI]