到達可能関係の推移的閉包を扱う様相論理の完全性（２） | T2R2 東京科学大学リサーチリポジトリ

論文・著書情報

タイトル

和文:	到達可能関係の推移的閉包を扱う様相論理の完全性（２）
英文:

著者

和文:	鹿島亮.
英文:	RYO KASHIMA.

言語

Japanese

掲載誌/書名

和文:	日本数学会数学基礎論分科会アブストラクト集
英文:

巻, 号, ページ

出版年月

2010年9月

出版者

和文:
英文:

会議名称

和文:	日本数学会2010年度秋季総合分科会
英文:

開催地

和文:	名古屋大学
英文:

©2007 Institute of Science Tokyo All rights reserved.