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. (pp. 136-145). New York: ACM. ISBN 9781605585604

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 Arts & Social Sciences > Economics
URI: http://openaccess.city.ac.uk/id/eprint/21411
[img]
Preview
Text - Accepted Version
Download (227kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login