Concurrent dynamic epistemic logic for MAS. - Hans P. van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (AAMAS, 2003)

Probabilistic Dynamic Epistemic Logic. - Barteld P. Kooi (J. Log. Lang. Inf., 2003)

Public Announcements and Belief Expansion. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (Advances in Modal Logic, 2004)

Dynamic epistemic logic with assignment. - Hans P. van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (AAMAS, 2005)

Common knowledge in update logics. - Johan van Benthem; Jan van Eijck; Barteld P. Kooi (TARK, 2005)

Yet Another Mastermind Strategy. - Barteld P. Kooi (J. Int. Comput. Games Assoc., 2005)

Trying to Resolve the Two-Envelope Problem. - Casper J. Albers; Barteld P. Kooi; Willem Schaafsma (Synth., 2005)

Conflicting Obligations in Multi-agent Deontic Logic. - Barteld P. Kooi; Allard M. Tamminga (DEON, 2006)

Semantic results for ontic and epistemic change - Hans P. van Ditmarsch; Barteld P. Kooi (CoRR, 2006)

Logics of communication and change. - Johan van Benthem; Jan van Eijck; Barteld P. Kooi (Inf. Comput., 2006)

Hybrid Logics with Infinitary Proof Systems. - Barteld P. Kooi; Gerard R. Renardel de Lavalette; Rineke Verbrugge (J. Log. Comput., 2006)

The Secret of My Success. - Hans van Ditmarsch; Barteld P. Kooi (Synth., 2006)

Dynamic Epistemic Logic and Knowledge Puzzles. - Hans P. van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (ICCS, 2007)

Expressivity and completeness for public update logics via reduction axioms. - Barteld P. Kooi (J. Appl. Non Class. Logics, 2007)

Conditional Obligations in Strategic Situations. - Allard M. Tamminga; Barteld P. Kooi (NORMAS, 2008)

Moral Conflicts between Groups of Agents. - Barteld P. Kooi; Allard M. Tamminga (J. Philos. Log., 2008)

Knowing More - From Global to Local Correspondence. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (IJCAI, 2009)

Strong Completeness and Limited Canonicity for PDL. - Gerard R. Renardel de Lavalette; Barteld P. Kooi; Rineke Verbrugge (J. Log. Lang. Inf., 2009)

Dynamic Update with Probabilities. - Johan van Benthem; Jelle Gerbrandy; Barteld P. Kooi (Stud Logica, 2009)

Reasoning about local properties in modal logic. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (AAMAS, 2011)

Succinctness of Epistemic Languages. - Tim French 002; Wiebe van der Hoek; Petar Iliev; Barteld P. Kooi (IJCAI, 2011)

Generalized arrow update logic. - Barteld P. Kooi; Bryan Renne (TARK, 2011)

Arrow Update Logic. - Barteld Kooi; Bryan Renne (Rev. Symb. Log., 2011)

On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. - Wiebe van der Hoek; Petar Iliev; Barteld P. Kooi (CiE, 2012)

Local properties in modal logic. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld P. Kooi (Artif. Intell., 2012)

Completeness via Correspondence for Extensions of the Logic of Paradox. - Barteld P. Kooi; Allard M. Tamminga (Rev. Symb. Log., 2012)

On the succinctness of some modal logics. - Tim French 002; Wiebe van der Hoek; Petar Iliev; Barteld P. Kooi (Artif. Intell., 2013)

Three-valued Logics in Modal Logic. - Barteld P. Kooi; Allard M. Tamminga (Stud Logica, 2013)

Logic and Probabilistic Update. - Lorenz Demey; Barteld Kooi (Johan van Benthem on Logic and Information Dynamics, 2014)

One Hundred Prisoners and a Light Bulb. - Hans van Ditmarsch; Barteld Kooi (Springer, 2015)

An Introduction to Logics of Knowledge and Belief. - Hans van Ditmarsch; Joseph Y. Halpern; Wiebe van der Hoek; Barteld P. Kooi (CoRR, 2015)

The Ambiguity of Knowability. - Barteld Kooi (Rev. Symb. Log., 2016)

Arbitrary arrow update logic. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi; Louwe B. Kuijer (Artif. Intell., 2017)

Cheryl's Birthday. - Hans van Ditmarsch; Michael Ian Hartley; Barteld Kooi; Jonathan Welton; Joseph B. W. Yeo (TARK, 2017)

A dynamic epistemic framework for reasoning about conformant probabilistic plans. - Yanjun Li; Barteld Kooi; Yanjing Wang 001 (Artif. Intell., 2019)

Commonly Knowingly Whether. - Jie Fan; Davide Grossi; Barteld Kooi; Xingchi Su; Rineke Verbrugge (CoRR, 2020)

Arrow update synthesis. - Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi; Louwe B. Kuijer (Inf. Comput., 2020)

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. - Davide Grossi; Barteld Kooi; Xingchi Su; Rineke Verbrugge (LORI, 2021)

Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions. - Yuri David Santos; Barteld Kooi; Rineke Verbrugge (J. Log. Comput., 2022)

Two-sided Sequent Calculi for FDE-like Four-valued Logics. - Barteld Kooi; Allard M. Tamminga (J. Philos. Log., 2023)

Solutions to the Knower Paradox in the Light of Haack's Criteria. - Mirjam de Vos; Rineke Verbrugge; Barteld Kooi (J. Philos. Log., 2023)