City Research Online

Theorems and unawareness

Galanis, S. ORCID: 0000-0003-4286-7449 (2007). Theorems and unawareness. Paper presented at the 11th Conference on Theoretical Aspects of Rationality and Knowledge, 25 - 27 June 2007, Brussels, Belgium. doi: 10.1145/1324249.1324270


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.

Publication Type: Conference or Workshop Item (Paper)
Additional Information: © {Galanis, S.| ACM} {2007}. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge,
Departments: School of Policy & Global Affairs > Economics
[thumbnail of galanis 2007 TARK.pdf]
Text - Accepted Version
Download (141kB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login