Ilya Shapirovsky. On PSPACE-decidability in Transitive Modal Logic. In Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004. pages 269-287, King s College Publications, 2004. [doi]
@inproceedings{Shapirovsky04,
title = {On PSPACE-decidability in Transitive Modal Logic},
author = {Ilya Shapirovsky},
year = {2004},
url = {http://www.aiml.net/volumes/volume5/Shapirovsky.ps},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/Shapirovsky04},
cites = {0},
citedby = {0},
pages = {269-287},
booktitle = {Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004},
editor = {Renate A. Schmidt and Ian Pratt-Hartmann and Mark Reynolds and Heinrich Wansing},
publisher = {King s College Publications},
isbn = {1-904987-22-2},
}