MCK: Model checking the logic of knowledge

Peter Gammie; Ron Van Der Meyden

Journal ArticleOPEN ACCESS

MCK: Model checking the logic of knowledge

Gammie P
Van Der Meyden R

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2004) 3114 479-483

DOI: 10.1007/978-3-540-27813-9_41

193Citations

21Readers

Cite

CITATION STYLE

APA

Gammie, P., & Van Der Meyden, R. (2004). MCK: Model checking the logic of knowledge. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3114, 479–483. https://doi.org/10.1007/978-3-540-27813-9_41

MCK: Model checking the logic of knowledge

Cite

Register to see more suggestions