1. Commonly Knowingly Whether

   Fan, J., Grossi, D., Kooi, B., Su, X. & Verbrugge, R., 14-Jan-2020, (Submitted) arXiv.

   Research output: Working paper › Academic

2. 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 journal › Article › Academic › peer-review

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

4. 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 proceeding › Chapter › Professional

5. 一百囚徒与一个灯泡

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

   Research output: Book/Report › Book › Popular

View all (64) »

1. Ionica zag een getal

   Barteld Kooi & Hans Ditmarsch ,van

   06/12/2014

   1 item of Media coverage

   Press/Media: Other › Popular

View all (1) »

1. Dynamic term-modal logic revisited

   Barteld Kooi (Invited speaker)

   15-Nov-2019 → 17-Nov-2019

   Activity: Talk or presentation › Academic

2. Groningse Nacht van de Filosofie 2014

   Barteld Kooi (Invited speaker)

   3-Apr-2014

   Activity: Talk or presentation › Professional

View all (2) »

1. Ammodo KNAW Award

   Barteld Kooi (Recipient), 11-Mar-2015

   Prize › Academic

View all (1) »