prof. dr. B.P. (Barteld) Kooi
Professor (by special appointment) Logic and Argumentation Theory
Telephone:
E-mail:
b.p.kooi rug.nl
Research
Research units:
Postal address:
Oude Boteringestraat
52
Gebouw 1136, ruimte 0215
Groningen
52
Gebouw 1136, ruimte 0215
Groningen
Netherlands
Phone: +31 50 363 6924Fax: +31 50 363 6160
Publications
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
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
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
一百囚徒与一个灯泡
van Ditmarsch, H., Kooi, B., Elancheziyan & Ma, M. (Translator), 2017, China Science Publishing & Media Ltd.Research output: Book/Report › Book › Popular
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
Press / Media
Ionica zag een getal
Barteld Kooi & Hans Ditmarsch ,van
06/12/2014
1 item of Media coverage
Press/Media: Other › Popular
Activities
Dynamic term-modal logic revisited
Barteld Kooi (Invited speaker)15-Nov-2019 → 17-Nov-2019Activity: Talk or presentation › Academic
Groningse Nacht van de Filosofie 2014
Barteld Kooi (Invited speaker)3-Apr-2014Activity: Talk or presentation › Professional
ID: 179615