Completeness proof by semantic diagrams for transitive closure of accessibility relation | Science Tokyo Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Completeness proof by semantic diagrams for transitive closure of accessibility relation

Author

Japanese:	鹿島亮.
English:	RYO KASHIMA.

Language

English

Journal/Book name

Japanese:
English:	Advances in Modal Logic

Volume, Number, Page

Volume 8 pp. 200-217

Published date

Aug. 2010

Publisher

Japanese:
English:

Conference name

Japanese:
English:	Advances in Modal Logic

Conference site

Japanese:
English:	Moscow

Official URL

http://aiml10.mi.ras.ru/

©2007 Institute of Science Tokyo All rights reserved.