Ilya Shapirovsky. PSPACE-decidability of Japaridze s polymodal logic. In Carlos Areces, Robert Goldblatt, editors, Advances in Modal Logic 7, papers from the seventh conference on Advances in Modal Logic, held in Nancy, France, 9-12 September 2008. pages 289-304, College Publications, 2008. [doi]
@inproceedings{Shapirovsky08,
title = {PSPACE-decidability of Japaridze s polymodal logic},
author = {Ilya Shapirovsky},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Shapirovsky.pdf},
tags = {logic},
researchr = {https://researchr.org/publication/Shapirovsky08},
cites = {0},
citedby = {0},
pages = {289-304},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on Advances in Modal Logic, held in Nancy, France, 9-12 September 2008},
editor = {Carlos Areces and Robert Goldblatt},
publisher = {College Publications},
isbn = {978-1-904987-68-0},
}