Topological reasoning and the logic of knowledge
TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Modal logic
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Knowledge Theoretic Properties of Topological Spaces
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)
Handbook of Spatial Logics
The logic of communication graphs
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
An alternative logic for knowability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Multi-agent subset space logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
A multi-agent version of Moss and Parikh's logic of knowledge and effort is developed in this paper. This is done with the aid of particular modalities identifying the agents involved in the system in question. Throughout the paper, special emphasis is placed on foundational issues.