Logical Definitions of Lying
Proceedings of the 14th International Workshop on Trust in Agent Societies (TRUST11), Taipei, Taiwan, May 2011.
This paper provides logical analyses of various definitions of lying.
We first formulate twelve definitions of lying that appear in the literature of philosophy
and were comprehensively studied by Mahon (2008).
We use a propositional multi-modal logic that can represent belief and intention of agents.
We then compare different definitions of lying and examine which one is best supported by
both logically and empirically.
Full Paper (PDF 189K)