Yanjun Li. Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles. In Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang, editors, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings. Volume 9394 of Lecture Notes in Computer Science, pages 230-242, Springer, 2015. [doi]
@inproceedings{Li15-78,
title = {Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles},
author = {Yanjun Li},
year = {2015},
doi = {10.1007/978-3-662-48561-3_19},
url = {http://dx.doi.org/10.1007/978-3-662-48561-3_19},
researchr = {https://researchr.org/publication/Li15-78},
cites = {0},
citedby = {0},
pages = {230-242},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
editor = {Wiebe van der Hoek and Wesley H. Holliday and Wen-Fang Wang},
volume = {9394},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-48560-6},
}