Text this: Probability Logic for Harsanyi Type Spaces