Theorems and unawareness

This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows that unawareness of theorems not only constrains an agent’s knowledge, but also, can impair his reasoning about what other agents know. For example, in contrast to Li (2006), Heifetz, Meier, and Schipper (2006) and the standard model of knowledge, it is possible that two agents disagree on whether another agent knows a particular event.

• Type: Conference
• Year: 2007
• Where: TARK
• Authors: Spyros Galanis
• Keywords: Property Called Awareness, Set-theoretic Model, TARK 2007, Theorems