Barteld Kooi

Search results

• 2021

  How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation

  Grossi, D., Kooi, B., Su, X. & Verbrugge, R., 2021, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings. Ghosh, S. & Icard, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 201-215 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13039 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  33 Downloads (Pure)
• 2018

  Provability logic meets the knower paradox

  de Vos, M., Kooi, B. & Verbrugge, R., 31-Aug-2018, Advances in Modal Logic 2018: Accepted Short Papers. D’Agostino, G. & Bezhanishvilii, G. (eds.). Rijksuniversiteit Groningen, p. 31-35 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  136 Downloads (Pure)
• 2017

  Cheryl's birthday

  van Ditmarsch, H., Hartley, M. I., Kooi, B., Welton, J. & Yeo, J. B. W., 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017). Lang, J. (ed.). Open Publishing Association, p. 1-9 (Electronic Proceedings in Theoretical Computer Science; vol. 251).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  Open Access

  File
  1 Citation (Scopus)

  268 Downloads (Pure)
• 2012

  On the relative succinctness of two extensions by definitions of multimodal logic

  van der Hoek, W., Iliev, P. & Kooi, B. P., 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). Cooper, S. B., Dawar, A. & Löwe, B. (eds.). Lecture notes in computer science, Vol. 7318. p. 323 - 333 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  6 Citations (Scopus)

  43 Downloads (Pure)
• 2011

  Generalized Arrow Update Logic

  Kooi, B. & Renne, B., 2011, Theoretical Aspects of Rationality and Knowledge, Proceedings of the Thirteenth Conference (TARK XIII 2011). Apt, K. R. (ed.). New York: ACM Press, p. 205-211 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  19 Citations (Scopus)

• Logics of Rational Interaction

  Kooi, B. P. & Pacuit, E., 2011, Dynamic Formal Epistemology. Girard, P., Roy, O. & Marion, M. (eds.). Dordrecht: Springer, p. 5-32 28 p. (Synthese Library; vol. 351).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Reasoning about local properties in modal logic

  Kooi, B., Ditmarsch, H. V. & Hoek, W. V. D., 2011, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems. Tumer, K., Yolum, P., Sonenberg, L. & Stone, P. (eds.). Richland: IFAAMAS, p. 711-718 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  4 Citations (Scopus)

  105 Downloads (Pure)

• Succinctness of epistemic languages

  French, T., Hoek, W. V. D., Iliev, P. & Kooi, B., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11). Walsh, T. (ed.). Menlo Park: AAAI Press, p. 881-886 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  17 Citations (Scopus)
• 2009

  Knowing more - from global to local correspondence

  Kooi, B. P., van Ditmarsch, H. & van der Hoek, W., 2009, Proceedings of IJCAI-09. Boutilier, C. (ed.).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  11 Citations (Scopus)
• 2005

  Common knowledge in update logics

  Kooi, B. P., van Bethem, J. & Van Eijck, J., 2005, Theoretical aspects of rationality and knowledge: proceeding of the tenth conference. R. van der Meyden (ed.). p. 253 - 261

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  10 Citations (Scopus)

• Dynamic epistemic logic with assignment

  Kooi, B. P., van Ditmarsch, H. P. & van der Hoek, W., 2005, Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent. F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh & M. Wooldridge (eds.). New York: ACM Press, p. 141 - 148

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  4 Citations (Scopus)
• 2004

  Strong Completeness for Non-compact Hybrid Logics

  Kooi, B., Renardel de Lavalette, G. & Verbrugge, L. C., 2004, AiML-2004: Advances in Modal Logic. Schmidt, R., Pratt-Hartmann, I., Reynolds, M. & Wansing, H. (eds.). University of Manchester: Department of Computer Science, p. 212-223 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review