A study of Kripke-type models for some modal logics by Gentzen's sequential method いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
A study of Kripke-type models for some modal logics by Gentzen's sequential method
- タイトル別名
-
いくつかの様相論理に対するクリプケ模型のゲンツェンシークエント法による研究
- 著者名
-
佐藤, 雅彦
- 著者別名
-
サトウ, マサヒコ
- 学位授与大学
-
京都大学
- 取得学位
-
理学博士
- 学位授与番号
-
乙第3264号
- 学位授与年月日
-
1977-03-23
注記・抄録
博士論文