Abstract
AbstractThe 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 $\varphi$) from the acknowledgement that the information is indeed the case (being aware that $\varphi$ 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).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have