2017/07/27 by Adam Bjorndahl, Joseph Y. Halpern
Computer Science · #cs.LO #cs.GT
paper · pdf · doi:10.4204/eptcs.251.6
published as EPTCS 251, 2017, pp. 75-87 · In Proceedings TARK 2017, arXiv:1707.08250
arxiv created 2017/07/27 · arxiv updated 2017/07/28
We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds style probability frames. While translating the former into the latter is straightforward, we demonstrate that the reverse translation relies implicitly on a background logical language. Once this "language parameter" is made explicit, it reveals a close relationship between universal type spaces and canonical models: namely, that they are essentially the same construct. As the nature of a canonical model depends heavily on the background logic used to generate it, this work suggests a new view into a corresponding landscape of universal type spaces.