Attainable Knowledge and Omniscience
Downloadable Content
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.
| Title | Attainable Knowledge and Omniscience |
|---|---|
| Creator | Naumov, P. |
| Tao, Jia | |
| Publisher | Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021) |
| Academic Department | Computer Science |
| Division | Natural Sciences |
| Organization | Lafayette College |
| Date Issued | 2021 |
| Date Available | 2023-03-23 |
| Type | Article |
| Language | English |
| Bibliographic Citation | Naumov, P. and J. Tao (2021) "“Attainable Knowledge and Omniscience.” In Joseph Halpern and Andres Perea (eds.), Proceedings of the 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021) (pp. 251-265). Open Publishing Association. |
| Standard Identifier | DOI 10.4204/EPTCS.335.24 |
| Handle 10385/xd07gv009 | |
| Permalink | http://hdl.handle.net/10385/xd07gv009 |
| Rights Statement |
Creative Commons - Attribution
|
| Rights Holders | Tao, Jia |
| Naumov, P. |
Contains
| File | Tao-Proceedingsofthe18thConferenceonTheoreticalAspectsofRationalityandKnowledge-2021.pdf | Uploaded 2023-03-23 | Public | Download |
Member of Collection
