We devise a sound and complete epistemic-logic axiomatization for Knightian type spaces - the generalization of Harsanyi type spaces employed in strategic games with asymmetric uncertainty/ambiguity. In a Knightian type space, each type's epistemic attitude is represented by a set of probability...