Abstract
AbstractEpistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with these situations, where agents have only knowledge about the available information (or evidence), which can be incomplete or conflicting, but not explicitly about facts. This layer of available information or evidence, which is the object of the agents’ knowledge, can be seen as a database. By adopting this sceptical posture in our semantics, we prepare the ground for logics where the notion of knowledge—or more appropriately, belief—is entirely based on evidence. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. In summary, our contributions are twofold: on the one hand we present an intuition and possible application for many-valued modal logics, and on the other hand we develop a logic that models the dynamics of evidence in a simple and intuitively clear fashion.
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference46 articles.
1. Arieli, O., & Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5(1), 25–63.
2. Bakhtiari, Z., van Ditmarsch, H., & Rivieccio, U. (2019). Bilattice logic of epistemic actions and knowledge. Annals of Pure and Applied Logic (in press).
3. Balbiani, P., van Ditmarsch, H., Herzig, A., & de Lima, T. (2010). Tableaux for public announcement logic. Journal of Logic and Computation, 20(1), 55.
4. Baltag, A., Christoff, Z., Rendsvig, R., & Smets, S. (2016). Dynamic epistemic logics of diffusion and prediction in social networks. In Proceedings of the 12th conference on logic and the foundations of game and decision theory.
5. Baltag, A., Christoff, Z., Rendsvig, R., & Smets, S. (2019). Dynamic epistemic logics of diffusion and prediction in social networks. Studia Logica, 107(3), 489–531.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献