Meier, Martin
Type spaces in the sense of Harsanyi (1967/68) can be considered as the probabilistic analog of Kripke structures. By an infinitary propositional language with additional operators "individual i assigns probability at least to" and infinitary inference rules, we axiomatize the class of (Harsanyi) type spaces. We show that our axiom system is strongly sound and strongly complete. To the best of our knowledge, this is the very first strong completeness theorem for a probability logic of the present kind. The result is proved by constructing a canonical type space.
Référence bibliographique |
Meier, Martin. An infinitary probability logic for type spaces. CORE Discussion Papers ; 2001/61 (2001) |
Permalien |
http://hdl.handle.net/2078.1/4218 |