City Research Online

Syntactic foundations for unawareness of theorems

Galanis, S. ORCID: 0000-0003-4286-7449 (2009). Syntactic foundations for unawareness of theorems. In: TARK '09 Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge. 12th Conference on Theoretical Aspects of Rationality and Knowledge, 06 - 08 July 2009, Stanford University. doi: 10.1145/1562814.1562835

Abstract

We provide a complete and sound axiomatization of the set-theoretic model of Galanis [2007]. By constructing a syntax with several knowledge modalities, one for each sub-language, we are able to allow for agents to make mistakes about the knowledge of others without discarding the truth axiom. Comparing the present axiom system with that of Heifetz et al. [2008a] we find that neither is a generalization of the other.

Publication Type: Conference or Workshop Item (Paper)
Additional Information: © {Galanis, S.| ACM} {2009}. 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 '09 Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, http://dx.doi.org/10.1145/1562814.1562835.
Subjects: H Social Sciences > HB Economic Theory
Departments: School of Policy & Global Affairs > Economics
[thumbnail of galanis 2009 tark syntactic.pdf]
Preview
Text - Accepted Version
Download (227kB) | Preview

Export

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

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login