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


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


Ionica zag een getal