prof. dr. B.P. (Barteld) Kooi

Professor (by special appointment) Logic and Argumentation Theory

prof. dr. B.P. (Barteld) Kooi
E-mail:
b.p.kooi rug.nl

Research

Research units:

Postal address:
Oude Boteringestraat
52
Gebouw 1136, ruimte 0215
Groningen
Netherlands
Phone: +31 50 363 6924Fax: +31 50 363 6160
Publications
  1. A dynamic epistemic framework for reasoning about conformant probabilistic plans

    Li, Y., Kooi, B. & Wang, Y., Mar-2019, In : Artificial Intelligence. 268, p. 54-84 31 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  2. 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

  3. Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

    van Ditmarsch, H., Hoek, W. V. D. & Kooi, B., 2018, Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. van Ditmarsch, H. & Sandu, G. (eds.). Springer, p. 237-262 (Outstanding Contributions to Logic; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  4. 一百囚徒与一个灯泡

    van Ditmarsch, H., Kooi, B., Elancheziyan & Ma, M. (Translator), 2017, China Science Publishing & Media Ltd.

    Research output: Book/ReportBookPopular

  5. 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

View all (63) »

Press / Media
  1. Ionica zag een getal

    Barteld Kooi & Hans Ditmarsch ,van

    06/12/2014

    1 item of Media coverage

    Press/Media: OtherPopular

View all (1) »

Activities
  1. Dynamic term-modal logic revisited

    Barteld Kooi (Invited speaker)
    15-Nov-201917-Nov-2019

    Activity: Talk or presentationAcademic

  2. Groningse Nacht van de Filosofie 2014

    Barteld Kooi (Invited speaker)
    3-Apr-2014

    Activity: Talk or presentationProfessional

View all (2) »

Prizes
  1. Ammodo KNAW Award

    Barteld Kooi (Recipient), 11-Mar-2015

    PrizeAcademic

View all (1) »

View graph of relations

ID: 179615