Barteld P. Kooi

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 1

Top Topics

Default Theories

Top Venues

Rev. Symb. Log.

Publications

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
An Introduction to Logics of Knowledge and Belief. CoRR (2015)
Barteld P. Kooi, Allard M. Tamminga
Three-valued Logics in Modal Logic. Stud Logica 101 (5) (2013)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the succinctness of some modal logics. Artif. Intell. 197 (2013)
Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE (2012)
Barteld P. Kooi, Allard M. Tamminga
Completeness via Correspondence for Extensions of the Logic of Paradox. Rev. Symb. Log. 5 (4) (2012)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Local properties in modal logic. Artif. Intell. 187 (2012)
Barteld P. Kooi, Bryan Renne
Generalized arrow update logic. TARK (2011)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Reasoning about local properties in modal logic. AAMAS (2011)
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi
Succinctness of Epistemic Languages. IJCAI (2011)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Knowing More - From Global to Local Correspondence. IJCAI (2009)
Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi
Dynamic Update with Probabilities. Stud Logica 93 (1) (2009)
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. 18 (2) (2009)
Allard M. Tamminga, Barteld P. Kooi
Conditional Obligations in Strategic Situations. NORMAS (2008)
Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge
Strong Completeness and Limited Canonicity for PDL. J. Log. Lang. Inf. 17 (1) (2008)
Barteld P. Kooi, Allard M. Tamminga
Moral Conflicts between Groups of Agents. J. Philos. Log. 37 (1) (2008)
Barteld P. Kooi
Expressivity and completeness for public update logics via reduction axioms. J. Appl. Non Class. Logics 17 (2) (2007)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Dynamic Epistemic Logic and Knowledge Puzzles. ICCS (2007)
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Logics of communication and change. Inf. Comput. 204 (11) (2006)
Hans P. van Ditmarsch, Barteld P. Kooi
Semantic results for ontic and epistemic change CoRR (2006)
Hans P. van Ditmarsch, Barteld P. Kooi
The Secret of My Success. Synth. 153 (2) (2006)
Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge
Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16 (2) (2006)
Hans P. van Ditmarsch, Barteld P. Kooi
The Secret of My Success. Synth. 151 (2) (2006)
Barteld P. Kooi, Allard M. Tamminga
Conflicting Obligations in Multi-agent Deontic Logic. DEON (2006)
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Common knowledge in update logics. TARK (2005)
Casper J. Albers, Barteld P. Kooi, Willem Schaafsma
Trying to Resolve the Two-Envelope Problem. Synth. 145 (1) (2005)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Dynamic epistemic logic with assignment. AAMAS (2005)
Barteld P. Kooi
Yet Another Mastermind Strategy. J. Int. Comput. Games Assoc. 28 (1) (2005)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Public Announcements and Belief Expansion. Advances in Modal Logic (2004)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Concurrent dynamic epistemic logic for MAS. AAMAS (2003)
Barteld P. Kooi
Probabilistic Dynamic Epistemic Logic. J. Log. Lang. Inf. 12 (4) (2003)