Attainable Knowledge and Omniscience
Logic in Computer Science
2021-06-23 v2
Abstract
The paper investigates an evidence-based semantics for epistemic logics. It is shown that the properties of knowledge obtained from a potentially infinite body of evidence are described by modal logic S5. At the same time, the properties of knowledge obtained from only a finite subset of this body are described by modal logic S4. The main technical result is a sound and complete bi-modal logical system that describes properties of these two modalities and their interplay.
Keywords
Cite
@article{arxiv.1705.10760,
title = {Attainable Knowledge and Omniscience},
author = {Pavel Naumov and Jia Tao},
journal= {arXiv preprint arXiv:1705.10760},
year = {2021}
}
Comments
In Proceedings TARK 2021, arXiv:2106.10886