van Ditmarsch, Hans and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2019)
Knowledge Without Complete Certainty.
In: 26th Workshop on Logic, Language, Information and Computation, 2019-7-2 - 2019-7-5.
Text
Co-finite_Knowledge_wollic_v11.pdf - Author Accepted Manuscript Download (334kB) | Preview |
Abstract
We present an epistemic logic ELF (Epistemic Logic with Filters) where knowledge does not require complete certainty. In this logic, instead of saying that an agent knows a particular fact if it is true in every accessible world, we say that it knows the fact if it is true in a sufficiently large set accessible worlds. On a technical level, we do this by enriching the standard Kripke models of epistemic logic with a set of filters: a sufficiently large set of worlds is one that is in the filter. We introduce semantics for ELF, and give a sound and complete proof system.
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Depositing User: | Symplectic Admin |
Date Deposited: | 19 Jun 2019 14:48 |
Last Modified: | 04 Mar 2024 09:17 |
DOI: | 10.1007/978-3-662-59533-6_38 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3046526 |