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]
Abstract is missing.