The logic of distributed protocols
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Belief, awareness, and limited reasoning
Artificial Intelligence
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Reasoning about knowledge
A Deduction Model of Belief
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Evidence reconstruction of epistemic modal logic S5
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Hi-index | 0.00 |
Knowledge's acquisition happens in time. However, this feature is not reflected in the standard epistemic logics, e.g. S4 with its possible world semantics suggested by Hintikka in [1], and hence their applications are limited. In this paper we adapt these normal modal logics to increase their expressive power such that not only is what is known modeled but also when it is known is recorded. We supplement each world with an awareness function which is an augmentation of Fagin-Halpern's to keep track of the time when each formula is to be derived. This provides a new response to the logical omniscience problem. Our work originates from the tradition of study of Justification Logic , also known as Logic of Proofs , LP , introduced by Artemov ([2],[3],[4]). We will give the axiom systems of the models built here, accompanied with soundness and completeness results.