Syntactic foundations for unawareness of theorems


We provide a complete and sound ax-iomatization 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.

DOI: 10.1145/1562814.1562835

Cite this paper

@inproceedings{Galanis2009SyntacticFF, title={Syntactic foundations for unawareness of theorems}, author={Spyros Galanis}, booktitle={TARK}, year={2009} }