Syntactic foundations for unawareness of theorems
Syntactic foundations for unawareness of theorems
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
9781605585604
136-145
Association for Computing Machinery
Galanis, Spyros
66c2b7af-6f28-4319-be60-787796b4054c
2009
Galanis, Spyros
66c2b7af-6f28-4319-be60-787796b4054c
Galanis, Spyros
(2009)
Syntactic foundations for unawareness of theorems.
In Proceedings of the12th Conference on Theoretical Aspects of Rationality and Knowledge.
Association for Computing Machinery.
.
(doi:10.1145/1562814.1562835).
Record type:
Conference or Workshop Item
(Paper)
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
This record has no associated files available for download.
More information
Published date: 2009
Venue - Dates:
Proceedings of the 12th conference on Theoretical aspects of rationality and knowledge, Stanford, USA, 2009-07-06 - 2009-07-08
Identifiers
Local EPrints ID: 71079
URI: http://eprints.soton.ac.uk/id/eprint/71079
ISBN: 9781605585604
PURE UUID: 94ea91fe-170b-451f-989e-76a4c1b57f3e
Catalogue record
Date deposited: 14 Jan 2010
Last modified: 13 Mar 2024 20:20
Export record
Altmetrics
Contributors
Author:
Spyros Galanis
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics