Awareness of and awareness that: their combination and dynamics

The paper proposes a logical framework representing the notion of explicit knowledge as the combination of awareness of and awareness that. The setting, semantically combining neighbourhood models with ideas from awareness logic, separates the mere fact of entertaining some information (being aware of  φ⁠) from the acknowledgement that the information is indeed the case (being aware that  φ holds). The text discusses not only the main properties these concepts obtain under the given representation, but also several of the epistemic actions that can be defined, and the way they affect the agent’s awareness (and thus her knowledge).