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 |
Download (227kB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login