spaces and explicit knowledge via possibility correspondences. Sublattices thereof can be interpreted as subjective views of … such that it is consistent with explicit knowledge in HMS models. We also introduce a variant of HMS models that instead of … explicit knowledge, takes implicit knowledge and awareness as primitives. Further, we address (2) by introducing a category of …