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

Professor (by special appointment) Logic and Argumentation Theory

Faculty of Philosophy

Telephone:

+31 50 36 36924

E-mail:

b.p.kooi rug.nl

Homepage Research Portal

Publications

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

Arrow update synthesis

Ditmarsch ,van, H. , Hoek, W. V. D. , Kooi, B. & Kuijer, B. , Dec-2020 , In: Information and Computation. 275 , 28 p. , 104544.

Research output: Contribution to journal › Article › Academic › peer-review

Commonly Knowing Whether

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

Research output: Working paper › Academic

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

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

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

一百囚徒与一个灯泡

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

Research output: Book/Report › Book › Popular

Arbitrary arrow update logic

van Ditmarsch, H. , Hoek, W. V. D. , Kooi, B. & Kuijer, L. B. , Jan-2017 , In: Artificial Intelligence. 242 , 1 , p. 80-106 27 p.

Research output: Contribution to journal › Article › Academic › peer-review

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

The ambiguity of knowability

Kooi, B. , 2016 , In: The Review of Symbolic Logic. 9 , 3 , p. 421-428 8 p.

Research output: Contribution to journal › Article › Academic › peer-review

All (66) publications

Press/media

Ionica zag een getal

Barteld Kooi & Hans Ditmarsch ,van

06/12/2014

Press/Media: Other › Popular

All (1) press/media

View full research profile