%0 Conference Paper %1 conf/aiml/Kashima10 %A Kashima, Ryo %B Advances in Modal Logic %D 2010 %E Beklemishev, Lev D. %E Goranko, Valentin %E Shehtman, Valentin B. %I College Publications %K dblp %P 200-217 %T Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2010.html#Kashima10 %@ 978-1-84890-013-4

@inproceedings{conf/aiml/Kashima10, added-at = {2020-03-12T00:00:00.000+0100}, author = {Kashima, Ryo}, biburl = {https://www.bibsonomy.org/bibtex/26f67b7dbef5ad2a996ba48b24e75e784/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2010}, editor = {Beklemishev, Lev D. and Goranko, Valentin and Shehtman, Valentin B.}, ee = {http://www.aiml.net/volumes/volume8/Kashima.pdf}, interhash = {9d1c952133a4cd36e6d333921bb4e2f5}, intrahash = {6f67b7dbef5ad2a996ba48b24e75e784}, isbn = {978-1-84890-013-4}, keywords = {dblp}, pages = {200-217}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2010.html#Kashima10}, year = 2010 }