Syntactic foundations for unawareness of theorems

Download

PDF - Publishers print Restricted to internal admin Download (275Kb) | Request a copy

Description/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.