Seeing is believing

formalising false-belief tasks in dynamic epistemic logic

2018

Thomas Bolander

in: Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin,

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

2017

Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch

Synthese 194 (7)