Syntactic foundations for unawareness of theorems
Galanis, Spyros (2009) Syntactic foundations for unawareness of theorems. In, Proceedings of the12th Conference on Theoretical Aspects of Rationality and Knowledge. Proceedings of the 12th conference on Theoretical aspects of rationality and knowledge New York, USA, Association for Computing Machinery, 136-145. (doi:10.1145/1562814.1562835)
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1145/1562814.1562835
Description/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
| Item Type: | Book Section |
|---|---|
| ISBN: | 9781605585604 (hardback) |
| Related URLs: | http://portal.acm.org/toc.cfm?...N=10043955 http://dx.doi.org/10.1145/1562...14.1562835 |
| Subjects: | H Social Sciences > H Social Sciences (General) |
| Divisions: | University Structure - Pre August 2011 > School of Social Sciences > Economics |
| ePrint ID: | 71079 |
| Deposited On: | 14 Jan 2010 |
| Last Modified: | 28 Sep 2011 16:48 |
Associated Staff Only: edit my ePrint
