Beata Konikowska, Wojciech Penczek. Model checking for multivalued logic of knowledge and time. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 169-176, ACM, 2006. [doi]
@inproceedings{KonikowskaP06,
title = {Model checking for multivalued logic of knowledge and time},
author = {Beata Konikowska and Wojciech Penczek},
year = {2006},
doi = {10.1145/1160633.1160661},
url = {http://doi.acm.org/10.1145/1160633.1160661},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/KonikowskaP06},
cites = {0},
citedby = {0},
pages = {169-176},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006},
editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},
publisher = {ACM},
isbn = {1-59593-303-4},
}