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

Publications

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

Press/media

Ionica zag een getal