Symbolic model checking for temporal-epistemic logics

@article{Lomuscio2007SymbolicMC,
  title={Symbolic model checking for temporal-epistemic logics},
  author={Alessio Lomuscio and Wojciech Penczek},
  journal={SIGACT News},
  year={2007},
  volume={38},
  pages={77-99}
}
The study of epistemic logics, or logics for the representation of knowledge, has a long and successful tradition in Logic, Computer Science, Economics and Philosophy. Its main motivational thrust is the observation that knowledge of the principals (or agents) in an exchange is fundamental in the study not only of the information they have at their disposal, but also in the analysis of their rational actions and, consequently, of the overall behaviour of the system. It is often remarked that… CONTINUE READING