Barteld P. Kooi

According to our database, Barteld P. Kooi authored at least 41 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Solutions to the Knower Paradox in the Light of Haack's Criteria.

Mirjam de Vos, Rineke Verbrugge, Barteld Kooi

J. Philos. Log., August, 2023

Two-sided Sequent Calculi for FDE-like Four-valued Logics.

Barteld Kooi, Allard M. Tamminga

J. Philos. Log., April, 2023

2022

Iterative social consolidations: Forming beliefs from many-valued evidence and peers' opinions.

Yuri David Santos, Barteld Kooi, Rineke Verbrugge

J. Log. Comput., 2022

2021

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.

Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Arrow update synthesis.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer

Inf. Comput., 2020

Commonly Knowingly Whether.

Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge

CoRR, 2020

2019

A dynamic epistemic framework for reasoning about conformant probabilistic plans.

Yanjun Li, Barteld Kooi, Yanjing Wang

Artif. Intell., 2019

2017

Cheryl's Birthday.

Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo

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

Arbitrary arrow update logic.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer

Artif. Intell., 2017

2016

The Ambiguity of Knowability.

Barteld Kooi

Rev. Symb. Log., 2016

2015

An Introduction to Logics of Knowledge and Belief.

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi

CoRR, 2015

One Hundred Prisoners and a Light Bulb.

Hans van Ditmarsch, Barteld Kooi

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

2014

Logic and Probabilistic Update.

Lorenz Demey, Barteld Kooi

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

2013

Three-valued Logics in Modal Logic.

Barteld P. Kooi, Allard M. Tamminga

Stud Logica, 2013

On the succinctness of some modal logics.

Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

Artif. Intell., 2013

2012

Completeness via Correspondence for Extensions of the Logic of Paradox.

Barteld P. Kooi, Allard M. Tamminga

Rev. Symb. Log., 2012

Local properties in modal logic.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

Artif. Intell., 2012

On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.

Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

Proceedings of the How the World Computes, 2012

2011

Arrow Update Logic.

Barteld Kooi, Bryan Renne

Rev. Symb. Log., 2011

Generalized arrow update logic.

Barteld P. Kooi, Bryan Renne

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

Succinctness of Epistemic Languages.

Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

Proceedings of the IJCAI 2011, 2011

Reasoning about local properties in modal logic.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

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

2009

Dynamic Update with Probabilities.

Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi

Stud Logica, 2009

Knowing More - From Global to Local Correspondence.

Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

Proceedings of the IJCAI 2009, 2009

2008

Moral Conflicts between Groups of Agents.

Barteld P. Kooi, Allard M. Tamminga

J. Philos. Log., 2008

Strong Completeness and Limited Canonicity for PDL.

Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge

J. Log. Lang. Inf., 2008

Conditional Obligations in Strategic Situations.

Allard M. Tamminga, Barteld P. Kooi

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

2007

Expressivity and completeness for public update logics via reduction axioms.

Barteld P. Kooi

J. Appl. Non Class. Logics, 2007

Dynamic Epistemic Logic and Knowledge Puzzles.

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

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

2006

The Secret of My Success.

Hans P. van Ditmarsch, Barteld P. Kooi

Synth., 2006

Hybrid Logics with Infinitary Proof Systems.

Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge

J. Log. Comput., 2006

Logics of communication and change.

Johan van Benthem, Jan van Eijck, Barteld P. Kooi

Inf. Comput., 2006

Semantic results for ontic and epistemic change

Hans P. van Ditmarsch, Barteld P. Kooi

CoRR, 2006

Conflicting Obligations in Multi-agent Deontic Logic.

Barteld P. Kooi, Allard M. Tamminga

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

2005

Trying to Resolve the Two-Envelope Problem.

Casper J. Albers, Barteld P. Kooi, Willem Schaafsma

Synth., 2005

Yet Another Mastermind Strategy.

Barteld P. Kooi

J. Int. Comput. Games Assoc., 2005

Common knowledge in update logics.

Johan van Benthem, Jan van Eijck, Barteld P. Kooi

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

Dynamic epistemic logic with assignment.

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

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

2004

Public Announcements and Belief Expansion.

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

Proceedings of the Advances in Modal Logic 5, 2004

2003

Probabilistic Dynamic Epistemic Logic.

Barteld P. Kooi

J. Log. Lang. Inf., 2003

Concurrent dynamic epistemic logic for MAS.

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

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