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


How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation

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

Read more


Ionica zag een getal