• German
German

Main Navigation

Hans van Ditmarsch, University of Sevilla, 16.15 o'clock, OH 14, E23

Event Date: May 31, 2012 16:15


The Ditmarsch Tale of Wonders - the dynamics of lying

We propose a dynamic logic of lying, wherein a lie is an action inducing the transformation of an information structure encoding the uncertainty of agents about their beliefs. We distinguish the treatment of an outside observer who is lying to an agent that is modelled in the system, from the case of one agent who is lying to another agent, and where both are modelled in the system. We also model bluffing, how to incorporate unbelievable lies, and lying about modal formulas. For more information, see http://arxiv.org/abs/1108.2115



SFB-876 NEWSLETTER
Newsletter RSS Twitter

NEWEST TECHREPORTS