An internal semantics for modal logic
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Labelled Tableaux for Non-normal Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Which semantics for neighbourhood semantics?
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Bisimulation for neighbourhood structures
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Step-logic and the three-wise-men problem
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
Decidable reasoning in a logic of limited belief with introspection and unknown individuals
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
We consider the logical omniscience problem of epistemic logic. We argue that the problem is due to the way in which knowledge and belief are captured in Hintikka's possible worlds semantics. We describe an alternative approach in which propositions are sets of worlds, and knowledge and belief are simply a list of propositions for each agent. The problem of the circularity in the definition is solved by giving a constructive definition of belief and knowledge worlds. We show how to incorporate notions such as reasoning and context of use in our model. We also demonstrate the power of our approach by showing how we can emulate in it other epistemic models.