MCK: Model checking the logic of knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3114, Issue , 2004, Pages 479-483

  Gammie, Peter ^a   Van Der Meyden, Ron ^b  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33747046805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27813-9_41     Document Type: Article

References (11)

1. M. Benerecetti, F. Giunchiglia, and L. Serafini. Multiagent model checking. Journal of Logic and Computation, 8(3):401-423, Aug 1997.
2. P. Bertoli, A. Cimatti, M. Pistore, and P. Taverso. Plan validation for extended goals under partial observability (preliminary report). In AIPS 2002 Workshop on Planning via Model Checking, Toulouse, France, April 2002.
3. K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In Itzhak Gilboa, editor, Theoretical Aspects of Rationality and Knowledge, pages 29-41. Morgan Kaufmann, July 1998.
4. R. H. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge. Model checking multi-agent programs with CASP. In CAV, pages 110-113, 2003.
5. J. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549-587, 1990.
6. J. Halpern and M. Y. Vardi. Model checking vs. theorem proving: A manifesto. Technical Report RJ 7963, IBM Almaden Research Center, 1991.
7. W. van der Hoek and M. Wooldridge. Model checking knowledge and time. In 9th Workshop on SPIN (Model Checking Software), Grenoble, April 2002.
8. R. van der Meyden. Common knowledge and update in finite environments. Information and Computation, 140(2), 1998.
9. R. van der Meyden and N.S. Shilov. Model checking knowledge and time in systems with perfect recall. In Proc. Conf. on Software Technology and Theoretical Computer Science, Springer LNCS No 1738, pages 262-273, Chennai, 1999.
10. R. van der Meyden and K. Su. Symbolic model checking the knowledge of the dining cryptographers. In IEEE Computer Security Foundations Workshop, 2004.
11. N. Y. Shilov and N.O. Garanina. Model checking knowledge and fixpoints. In FLOC workshop on Fixed Points in Computer Science, 2002.