Barteld Kooi
Home Research Teaching Publications Links Contact
2012
2011
  • Barteld Kooi and Bryan Renne. Arrow update logic. The Review of Symbolic Logic 4(4): 536-559.
  • Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.
  • Barteld Kooi and Bryan Renne (2011). Generalized Arrow Update Logic. In K.R. Apt (editor). Theoretical Aspects of Rationality and Knowledge, Proceedings of the Thirteenth Conference (TARK 2011), pp. 205-211.
  • Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.
  • Barteld Kooi and Eric Pacuit (2011). Logics of Rational Interaction. In P. Girard, O. Roy and M. Marion (editors). Dynamic Formal Epistemology, Synthese Library series, pp. 5-32, Springer, Dordrecht.
  • Barteld Kooi (2011) Dynamic Epistemic Logic. In J. van Benthem and A. ter Meulen (editors). Handbook of Logic and Language. second edition, pp. 671-690, Elsevier, Amsterdam.
2010
2009
  • Johan van Benthem, Jelle Gerbrandy and Barteld Kooi (2009). Dynamic update with probabilities. Studia Logica 93(1): 67-96.
  • Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2009). Knowing more - from global to local correspondence. In: C. Boutilier (editor). Proceedings of IJCAI-09, pp. 955-960.
  • Barteld Kooi and Rineke Verbrugge (2009). Battle of the logics. In: J. van Eijck and R. Verbrugge (editors). Discourses on Social Software. Texts in Logic and Games 5, pp. 163-181, Amsterdam University Press, Amsterdam.
2008
  • Barteld Kooi and Allard Tamminga (2008). Conditional obligations in strategic situations. In: G. Boella, G Pigozzi, M. Singh and H. Verhagen (editors). 3rd International Workshop on Normative Multiagent Systems. pp. 188-200.
  • Hans van Ditmarsch and Barteld Kooi (2008). Semantic results for ontic and epistemic change. In: G. Bonanno, W. van der Hoek and M. Wooldridge (editors). Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games 3, pp. 87-117, Amsterdam University Press, Amsterdam.
  • Barteld Kooi and Allard Tamminga (2008). Moral conflicts between groups of agents. Journal of Philosophical Logic 37(1): 1-21
  • Gerard Renardel de Lavalette, Barteld Kooi and Rineke Verbrugge (2008). Strong completeness and limited canonicity for PDL. Journal of Logic, Language and Information 17(1): 69-87. NB: Erratum (2009) in 18(2): 291-292.
2007
  • Barteld Kooi (2007). Dynamic term-modal logic. In: J. van Benthem, S. Ju and F. Veltman (editors) A meeting of the minds, Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 Texts in Computer Science 8. pp. 173-185, College Publications, London.
  • Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2007). Dynamic Epistemic Logic and Knowledge Puzzles. In: U. Priss, S. Polovina and R. Hill (editors) Conceptual Structures: Knowledge Structures for Smart Applications LNAI 4604. pp.45-58.
  • Barteld Kooi (2007). Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics 17(2): 231-253 (The pdf is slightly different from the version that appeared in the journal.)
  • Hans van Ditmarsch, Wiebe van de Hoek and Barteld Kooi (2007). Dynamic Epistemic Logic. Synthese Library Series, Volume 337, Springer.
  • Barteld Kooi (2007). De logica van informatieverandering. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 99(2): 146-153
2006
  • Johan van Benthem, Jan van Eijck and Barteld Kooi (2006). Logics of communication and change. Information and Computation. 204(11):1620-1662
  • Hans van Ditmarsch and Barteld Kooi (2006), The secret of my success. Synthese, 151(2):201-232.
  • Barteld Kooi and Allard Tamminga (2006), Conflicting obligations in multi-agent deontic logic. In: Lou Goble, John-Jules Ch. Meyer (editors) Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings LNCS 4048. pp.175-186.
  • Barteld Kooi, Gerard Renardel de Lavalette, and Rineke Verbrugge (2006), Hybrid logics with infinitary proof systems. Journal of Logic and Computation, 16(2):161-175.
2005
  • Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi (2005), Public Announcements and Belief Expansion. In: R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing (editors), Advances in Modal Logic, Volume 5, 335-346, King's College Publications, London. (A preliminary version of this paper appeared in the preliminary proceedings of the fourth conference on "Advances in Modal Logic," held in Manchester (UK) in September 2004.)
  • Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi (2005). Dynamic epistemic logic with assignment. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, and M. Wooldridge, editors, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05), volume 1, pages 141-148, ACM Inc, New York.
  • Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi (2005). Playing cards with Hintikka . (Similar to the 2004 Phi-news article with the same title, but with revisions.) Australasian Journal of Logic, 3:108-134.
  • Barteld Kooi (2005). Yet another mastermind strategy, ICGA Journal, 28(1): 13-20. The editors of the journal did some editing to the original submission, which is slightly different (and in my view, clearer in some respects).
  • Casper Albers, Barteld Kooi and Willem Schaafsma (2005). Trying to resolve the two-envelope problem, Synthese, 145(1): 89-109.
  • Johan van Benthem, Jan van Eijck and Barteld Kooi (2005). Common knowledge in update logics. In: R. van der Meyden, editor, Theoretical aspects of rationality and knowledge: proceeding of the tenth conference (TARK 2005). 253--261.
  • Hans van Ditmarsch and Barteld Kooi (2005). Een analyse van de hangman-paradox in dynamische epistemische logica. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 97(1):16-30.
2004
  • Barteld Kooi and Johan van Benthem (2004), Reduction axioms for epistemic actions. In: R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing (editors), Preliminary Proceedings of AiML-2004, 197-211, Department of Computer Science, University of Manchester.
  • Barteld Kooi, Gerard Renardel de Lavalette, and Rineke Verbrugge (2004), Strong completeness for non-compact hybrid logics. In: R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing (editors), Preliminary Proceedings of AiML-2004, 212-223, Department of Computer Science, University of Manchester.
2003
  • Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2003), Concurrent dynamic epistemic logic. V.F. Hendricks, K.F. Jørgensen, S.A. Pedersen (Eds.), Knowledge Contributors, Synthese Library Series, 105-143. Kluwer Academic Publishers.
  • Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2003), Descriptions of game states. In G. Mints and R. Muskens (Eds.), Games, Logic, and Constructive Sets . CSLI Lecture Notes Number 161, 43-58. CSLI publications, Stanford.
  • Barteld Kooi, Hans van Ditmarsch, Wiebe van der Hoek (2003), A description language for dynamic epistemic actions. In: K. Bimbo, Proceedings of the 2002 annual conference of the Australasian Association of Logic(AAL 2002). In: The Bulletin of Symbolic Logic, 9(2): 260-261.
  • Barteld Kooi (2003). Knowledge, Chance, and Change. ILLC Dissertation Series 2003-01. (PDF, PS).
  • Barteld Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12(4): 381-408.
  • Hans van Ditmarsch and Barteld Kooi, (2003). Unsuccessful updates. In Álvarez, R. Bosch, L. Villamil (eds.) Proceedings of the 12th International Congress of Logic Methodology and Philosphy of Science (LMPS 2003), 139--140, Oviedo University Press.
  • Hans van Ditmarsch, Wiebe van van der Hoek, and Barteld Kooi (2003), Concurrent Dynamic Epistemic Logic for MAS. In J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), 201-208.
2002
  • Gerard Renardel de Lavalette, Barteld Kooi, and Rineke Verbrugge (2002), Strong completeness for propositional dynamic logic. In P. Balbiani, N.-Y. Suzuki, and F. Wolter (Eds.), Preliminary Proceedings of AiML2002, 377-393. Institut de Recherche en Informatique de Toulouse IRIT.
  • Hans van Ditmarsch, and Barteld Kooi (2002, January). Spelen met verandering en onzekerheid. Rationele keuzetheorie en logica. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 94(1): 31-43.
1999
  • Barteld Kooi, (1999). Updates on probabilistic Kripke models. In J. Cachro and K. Kijania-Placek (Eds.), 11th International Congress of Logic Methodology and Philosphy of Science, Volume of Abstracts, p. 120. International Union of History and Philosophy of Science. ISBN: 83-912252-0-8.

Reviews

  • Barteld Kooi, (2003, August). Modal action logics for reasoning about reactive systems. BNVKI newsletter 20(4), pp. 80-82. A review of Jan Broersen's Ph.D. thesis Modal action logics for reasoning about reactive systems.
  • Barteld Kooi, (2001, April). The logic of murder. BNVKI newsletter 18(2), pp. 28-31. A review of Hans van Ditmarsch' Ph.D. thesis Knowledge Games.

Drafts

  • Barteld Kooi (2003). Intensional and statistical probability.

    • Old stuff
    A picture of the DEL book.
    A picture of my dissertation.