Skip to content
naulon
Not checkedNot checked for notices yet.

From Type Spaces to Probability Frames and Back, via Language

Adam Bjorndahl, Joseph Y. Halpern

Electronic Proceedings in Theoretical Computer Science · 2017

doi:10.4204/eptcs.251.6 (opens in a new tab)

We email you when a new notice or a question about this paper appears.

Abstract

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.

Abstract licence: CC BY-NC-ND

Reads

Read by people on this page

None yet.

Checked or read by AI through naulon

None yet.

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.

Are you an author?

Is this your paper?

Claim it to add your note and be paid when agents cite it. Free.