Ryo Kashima. Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation. In Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman, editors, Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010. pages 200-217, College Publications, 2010. [doi]
@inproceedings{Kashima10,
title = {Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation},
author = {Ryo Kashima},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Kashima.pdf},
researchr = {https://researchr.org/publication/Kashima10},
cites = {0},
citedby = {0},
pages = {200-217},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
editor = {Lev D. Beklemishev and Valentin Goranko and Valentin Shehtman},
publisher = {College Publications},
isbn = {978-1-84890-013-4},
}