An infinitary probability logic for type spaces

  title={An infinitary probability logic for type spaces},
  author={Martin Meier},
  journal={Israel Journal of Mathematics},
Type spaces in the sense of Harsanyi (1967/68) play an important role in the theory of games of incomplete information. They 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 prove that our axiom system is strongly sound and strongly complete. To the best of our knowledge, this… CONTINUE READING