Syntactic foundations for unawareness of theorems
Syntactic foundations for unawareness of theorems
We provide a syntactic model of unawareness. By introducing multiple knowledge modalities, one for each sub-language, we specifically model agents whose only mistake in reasoning (other than their unawareness) is to underestimate the knowledge of more aware agents. We show that the model is a complete and sound axiomatization of the set-theoretic model of Galanis [2007] and compare it with other unawareness models in the literature.
unawareness, uncertainty, knowledge, interactive epistemology, modal logic, bounded perception
593-614
Galanis, Spyros
66c2b7af-6f28-4319-be60-787796b4054c
October 2011
Galanis, Spyros
66c2b7af-6f28-4319-be60-787796b4054c
Abstract
We provide a syntactic model of unawareness. By introducing multiple knowledge modalities, one for each sub-language, we specifically model agents whose only mistake in reasoning (other than their unawareness) is to underestimate the knowledge of more aware agents. We show that the model is a complete and sound axiomatization of the set-theoretic model of Galanis [2007] and compare it with other unawareness models in the literature.
Text
syntactic_published.pdf
- Version of Record
Restricted to Repository staff only
Request a copy
More information
Published date: October 2011
Keywords:
unawareness, uncertainty, knowledge, interactive epistemology, modal logic, bounded perception
Organisations:
Economics
Identifiers
Local EPrints ID: 155605
URI: http://eprints.soton.ac.uk/id/eprint/155605
PURE UUID: ae0934f0-42b4-49fd-a87f-e6c3e677e131
Catalogue record
Date deposited: 01 Jun 2010 13:02
Last modified: 05 Sep 2024 01:41
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