 The tight connection between type spaces and relational models is compatible with additional assumptions that might be imposed on the players’ mental states. Fagin, Geanakoplos et al. (1999) characterizes when type spaces give rise to \(S5\) models, while Galeazzi &amp; Lorini (2016) do the same for multi-agent KD45 belief.