Photo of Barteld Kooi

Barteld Kooi

prof. dr.

  • Oude Boteringestraat52, Gebouw 1136, ruimte 0215

    9712 GL Groningen

    Netherlands

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    66 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 proceedingConference contributionAcademic

    Open Access
    File
    244 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 proceedingConference contributionAcademicpeer-review

    5 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 proceedingConference contributionAcademicpeer-review

    16 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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    95 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 proceedingConference contributionAcademicpeer-review

    15 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 proceedingConference contributionAcademic

    10 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 proceedingConference contributionAcademicpeer-review

    7 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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review