アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
AN00150430-00000072-0001.pdf
Type |
:application/pdf |
Download
|
Size |
:961.9 KB
|
Last updated |
:Oct 12, 2021 |
Downloads |
: 1314 |
Total downloads since Oct 12, 2021 : 1314
|
|
本文公開日 |
|
タイトル |
タイトル |
様相の証明可能性解釈
|
カナ |
ヨウソウ ノ ショウメイ カノウセイ カイシャク
|
ローマ字 |
Yoso no shomei kanosei kaishaku
|
|
別タイトル |
名前 |
Provability interpretation of modality
|
カナ |
|
ローマ字 |
|
|
著者 |
名前 |
西脇, 与作
|
カナ |
ニシワキ, ヨサク
|
ローマ字 |
Nishiwaki, Yosaku
|
所属 |
慶応義塾大学文学部
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
|
版 |
|
出版地 |
|
出版者 |
名前 |
三田哲學會
|
カナ |
ミタ テツガクカイ
|
ローマ字 |
Mita tetsugakukai
|
|
日付 |
出版年(from:yyyy) |
1981
|
出版年(to:yyyy) |
|
作成日(yyyy-mm-dd) |
|
更新日(yyyy-mm-dd) |
|
記録日(yyyy-mm-dd) |
|
|
形態 |
|
上位タイトル |
名前 |
哲學
|
翻訳 |
|
巻 |
|
号 |
72
|
年 |
1981
|
月 |
1
|
開始ページ |
1
|
終了ページ |
26
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII論文ID |
|
医中誌ID |
|
その他ID |
|
博士論文情報 |
学位授与番号 |
|
学位授与年月日 |
|
学位名 |
|
学位授与機関 |
|
|
抄録 |
Recently Solovay proved the completeness theorem for G, according to which a modal sentence is a theorem of G if all of its translations are theorems of Peano Arithmetic. From this theorem, many interesting results were obtained and the relations between modality and provability have been gradually clarified. I will prove the completeness theorem for K4 and some topological properties of K4, where topolgy of K4 models (A (W, R)) is defined by derived set a la Simmons or co-derived set. And then I will consider some of the meta-mathematical structures of the predicate 'Bew'.
|
|
目次 |
1. 序
2. K4, S4とSuitable Theory
3. Bew, □, と位相
4. 位相的諸性質
5. K4, Gと他の様相系の関係
6. 結論
|
|
キーワード |
|
NDC |
|
注記 |
|
言語 |
|
資源タイプ |
|
ジャンル |
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
Dec 25, 2013 | | フリーキーワード, 目次, 著者 を変更 |
Oct 12, 2021 | | 著者 外部リンク を変更 |
|
|
インデックス |
|
関連アイテム |
|