慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000072-0001  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000072-0001.pdf
Type :application/pdf Download
Size :961.9 KB
Last updated :Oct 12, 2021
Downloads : 1214

Total downloads since Oct 12, 2021 : 1214
 
本文公開日
 
タイトル
タイトル 様相の証明可能性解釈  
カナ ヨウソウ ノ ショウメイ カノウセイ カイシャク  
ローマ字 Yoso no shomei kanosei kaishaku  
別タイトル
名前 Provability interpretation of modality  
カナ  
ローマ字  
著者
名前 西脇, 与作  
カナ ニシワキ, ヨサク  
ローマ字 Nishiwaki, Yosaku  
所属 慶応義塾大学文学部  
所属(翻訳)  
役割  
外部リンク  
publisher  
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 1981  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳  
 
72  
1981  
1  
開始ページ 1  
終了ページ 26  
ISSN
05632099  
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
 
注記

 
言語
日本語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
 
本文URI
 
アクセス条件

 
最終更新日
Oct 12, 2021 13:18:18  
作成日
Sep 21, 2010 09:00:00  
所有者
mediacenter
 
更新履歴
Dec 25, 2013    フリーキーワード, 目次, 著者 を変更
Oct 12, 2021    著者 外部リンク を変更
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 72 (198101)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 アイドル文化にお... (504) 1st
2位 日韓会談と日韓国... (476)
3位 組織市民行動が成... (343)
4位 もしも世界がみん... (320)
5位 ドイツのSNS対策... (313)

最も多くダウンロードされたアイテム
1位 1950年前後の加藤... (615) 1st
2位 アセトアニリドの... (584)
3位 Instagram解析に... (501)
4位 家族主義と個人主... (482)
5位 刑法における因果... (463)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース