Skip to ContentSkip to Navigation
How to find us prof. dr. B.P. (Barteld) Kooi

Publications

Arrow update synthesis

Commonly Knowing Whether

A dynamic epistemic framework for reasoning about conformant probabilistic plans

Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

Provability logic meets the knower paradox

一百囚徒与一个灯泡

Arbitrary arrow update logic

Cheryl's birthday

The ambiguity of knowability

100人の囚人と1個の電球

Read more

Press/media

Ionica zag een getal