Seeing is believing

formalising false-belief tasks in dynamic epistemic logic

Thomas Bolander

pp. 207-236


This document is unfortunately not available for download at the moment.

Not implemented yet !