Affiliation:
1. University of Málaga
2. Institute for Logic, Language and Computation, Universiteit van Amsterdam
Abstract
Abstract
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$\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).
Publisher
Oxford University Press (OUP)
Reference61 articles.
1. On the logic of theory change: partial meet contraction and revision functions;Alchourrón;Journal of Symbolic Logic,1985
2. The logic of justification;Artemov;The Review of Symbolic Logic,2008
3. Introducing justification into epistemic logic;Artemov;Journal of Logic and Computation,2005
4. Stratified evidence logics;Balbiani;Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence,2019
5. The dynamics of epistemic attitudes in resource-bounded agents;Balbiani;Studia Logica,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Model for Explicit Aware Knowledge;Logic, Epistemology, and the Unity of Science;2021