On Databases with Incomplete Information
Journal of the ACM (JACM)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Multiprocess Network Logic with Temporal and Spatial Modalities
Proceedings of the 10th Colloquium on Automata, Languages and Programming
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Automata theoretic techniques for modal logics of programs: (Extended abstract)
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
On the model theory of knowledge
On the model theory of knowledge
A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
Reasoning about knowledge: an overview
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Knowledge and implicit knowledge in a distributed environment: preliminary report
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
On epistemic logic and logical omniscience
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Global and Local Graph Modifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
Belief as defeasible knowledge
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A guide to the modal logics of knowledge and belief: preliminary draft
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Belief, awareness, and limited reasoning: preliminary report
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A model-theoretic analysis of monotonic knowledge
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In Kripke semantics for modal logic, “possible worlds” and the possibility relation are both primitive notions. This has both technical and conceptual shortcomings. From a technical point of view, the mathematics associated with Kripke semantics is often quite complicated. From a conceptual point of view, it is not clear how to use Kripke structures to model knowledge and belief, where one wants a clearer understanding of the notions that are primitive in Kripke semantics. We introduce modal structures as models for modal logic. We use the idea of possible worlds, but by directly describing the “internal semantics” of each possible world. It is much easier to study the standard logical questions, such as completeness, decidability, and compactness, using modal structures. Furthermore, modal structures offer a much more intuitive approach to modelling knowledge and belief.