Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Logic and representation
Reasoning about knowledge
A machine program for theorem-proving
Communications of the ACM
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Epistemic Logic
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Strategies for energy optimisation in a swarm of foraging robots
SAB'06 Proceedings of the 2nd international conference on Swarm robotics
Taming the complexity of linear time BDI logics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
| Hi-index | 0.01 |
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent systems. However, the complexity of the logic can be prohibitive. We here develop a refined version of such a logic and associated tableau procedure with improved complexity but where important classes of specification can still be described. This new logic represents a combination of an "exactly one" temporal logic with an S5 multi-modal logic again restricted to the "exactly one" form.