 Such treatments of knowledge and belief witnessed an early manifestation of the hyperintensionality issue: the problem of logical omniscience (Fagin et al. 1995: 335–6)—a set of closure conditions for the relevant \(K\)s, of which perhaps the most important are: