JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
H12) (Jun.2000 - Mar.2001 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/909

Title: 様相論理に対する代数とフレーム
Authors: 橋本, 安司
Authors(alternative): はしもと, やすし
Keywords: 様相論理, 直観主義様相論理, 代数とフレームとの間の双対性, サブダイレクトリー・イレデューシブル代数, 様相論理の積
modal logics, intuitionistic modal logics,duality
Issue Date: Mar-2001
Description: 
Supervisor:小野 寛晰
情報科学研究科
博士
Title(English): Algebras and Frames for Modal Logics
Authors(English): Hasimoto, Yasusi
Language: eng
URI: http://hdl.handle.net/10119/909
Appears in Collections:D-IS. 2000年度(H12) (Jun.2000 - Mar.2001)

Files in This Item:

File Description SizeFormat
1185abstract.pdf78KbAdobe PDFView/Open
1185jabstract.pdf38KbAdobe PDFView/Open
1185paper.pdf740KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)