ダウンロード数: 524
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
D_Sato_Masahiko.pdf | Dissertation_全文 | 1.52 MB | Adobe PDF | 見る/開く |
yrigr00562.pdf | Abstract_要旨 | 206.43 kB | Adobe PDF | 見る/開く |
タイトル: | A Study of Kripke-type models for some model logics by Gentzen's sequential method |
その他のタイトル: | いくつかの様相論理に対するクリプケ模型のゲンツェンシークェント法による研究 |
著者: | Sato, Masahiko |
著者名の別形: | 佐藤, 雅彦 |
発行日: | 23-Mar-1977 |
出版者: | 京都大学 (Kyoto University) |
学位授与大学: | 京都大学 |
学位の種類: | 新制・論文博士 |
取得分野: | 理学博士 |
報告番号: | 乙第3264号 |
学位記番号: | 論理博第562号 |
学位授与年月日: | 1977-03-23 |
請求記号: | 新制||理||244(附属図書館) |
論文調査委員: | (主査)教授 一松 信, 教授 高須 達, 教授 佐藤 幹夫 |
学位授与の要件: | 学位規則第5条第2項該当 |
DOI: | 10.14989/doctor.r3264 |
URI: | http://hdl.handle.net/2433/86526 |
出現コレクション: | 050 博士(理学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。