Skip to ContentSkip to Navigation
Practical matters How to find us B.P. (Barteld) Kooi, Dr

Publications

Commonly Knowing Whether

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

一百囚徒与一个灯泡

Read more

Press/media

Ionica zag een getal