Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Model checking vs. theorem proving: a manifesto
Artificial intelligence and mathematical theory of computation
A partial approach to model checking
Papers presented at the IEEE symposium on Logic in computer science
A logical study of distributed transition systems
Information and Computation
A Stubborn Attack On State Explosion
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Common knowledge and update in finite environments. I: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Knowledge and the ordering of events in distributed systems: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Historical and computational aspects of paraconsistency in view of the logic foundation of databases
Proceedings of the 2nd international conference on Semantics in databases
Hi-index | 0.00 |
When the state of the world changes due to an action performed by an agent in a multiagent system, the views of other agents, and hence their knowledge, remain unaffected. We describe such situations using a simple modal logic. Traditionally, modal logics of knowledge are interpreted over global states of the multi-agent system. When actions are incorporated into such logics, it leads to high undecidability, whereas, if we see the assertions as made by the agents in the system at their local states, we get a decidable logic, for which we also provide a complete axiomatization. Interestingly, when we consider a corresponding local temporal logic of knowledge and (linear) time, the knowledge modality represents a 'necessarily now' modality of present tense.