Heifetz, A.; Mongin, P. - Paris X - Nanterre, U.F.R. de Sc. Ec. Gest. Maths Infor. - 1998
Using a formal propositional language with operators "individual i assigns probability at least a" for countable many a, we devise an axiom system which is sound and complete with respect to the class of type spaces in the sense of Harsanyi (1967-68). A crucial axiom requires that degrees of...