Journal | Contributors | Profile

Thomas Bolander

Seeing is believing: formalising false-belief tasks in dynamic epistemic logic

2018

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

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

2017

Synthese 194/7

Order by

Filter

Language

Period

Style