TY - JOUR

T1 - Probability Logic for Type Spaces

AU - Heifetz, Aviad

AU - Mongin, Philippe

PY - 2001/4

Y1 - 2001/4

N2 - Using a formal prepositional language with operators "individual i assigns probability at least α" for countably many α, we devise an axiom system which is sound and complete with respect to the class of type spaces in the sense of Harsanyi (1967-1968, Management Science, 14, 159-182). A crucial inference rule requires that degrees of belief be compatible for any two sets of assertions which are equivalent in a suitably defined natural sense. The completeness proof relies on a theorem of the alternative from convex analysis, and uses the method of filtration by finite sub-languages.

AB - Using a formal prepositional language with operators "individual i assigns probability at least α" for countably many α, we devise an axiom system which is sound and complete with respect to the class of type spaces in the sense of Harsanyi (1967-1968, Management Science, 14, 159-182). A crucial inference rule requires that degrees of belief be compatible for any two sets of assertions which are equivalent in a suitably defined natural sense. The completeness proof relies on a theorem of the alternative from convex analysis, and uses the method of filtration by finite sub-languages.

UR - http://www.scopus.com/inward/record.url?scp=0345856610&partnerID=8YFLogxK

U2 - 10.1006/game.1999.0788

DO - 10.1006/game.1999.0788

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0345856610

SN - 0899-8256

VL - 35

SP - 31

EP - 53

JO - Games and Economic Behavior

JF - Games and Economic Behavior

IS - 1-2

ER -