Access count of this item: 152

Files in This Item:
File Description SizeFormat 
yjohk00448.pdfAbstract_要旨209.54 kBAdobe PDFView/Open
Title: Semantical study of intuitionistic modal logics
Other Titles: 直観主義様相論理の意味論的研究
Authors: Kojima, Kensuke
Author's alias: 小島, 健介
Issue Date: 26-Mar-2012
Publisher: 京都大学 (Kyoto University)
Conferring University: Kyoto University (京都大学)
Degree Level: 新制・課程博士
Degree Discipline: 博士(情報学)
Degree Report no.: 甲第16990号
Degree no.: 情博第448号
Degree Call no.: 新制||情||81(附属図書館)
Degree Serial no.: 29665
Degree Affiliation: 京都大学大学院情報学研究科知能情報学専攻
Examination Committee members: (主査)教授 佐藤 雅彦, 教授 山本 章博, 准教授 五十嵐 淳
Provisions of the Ruling of Degree: 学位規則第4条第1項該当
URI: http://hdl.handle.net/2433/157473
Appears in Collections:Doctoral Dissertation (Informatics)

Show full item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.