| Item Type |
Article |
| ID |
|
| Preview |
| Image |
|
| Caption |
|
|
| Full text |
AN00150430-00000072-0001.pdf
| Type |
:application/pdf |
Download
|
| Size |
:961.9 KB
|
| Last updated |
:Oct 12, 2021 |
| Downloads |
: 1321 |
Total downloads since Oct 12, 2021 : 1321
|
|
| Release Date |
|
| Title |
| Title |
様相の証明可能性解釈
|
| Kana |
ヨウソウ ノ ショウメイ カノウセイ カイシャク
|
| Romanization |
Yoso no shomei kanosei kaishaku
|
|
| Other Title |
| Title |
Provability interpretation of modality
|
| Kana |
|
| Romanization |
|
|
| Creator |
| Name |
西脇, 与作
 |
| Kana |
ニシワキ, ヨサク
|
| Romanization |
Nishiwaki, Yosaku
|
| Affiliation |
慶応義塾大学文学部
|
| Affiliation (Translated) |
|
| Role |
|
| Link |
|
|
| Edition |
|
| Place |
|
| Publisher |
| Name |
三田哲學會
|
| Kana |
ミタ テツガクカイ
|
| Romanization |
Mita tetsugakukai
|
|
| Date |
| Issued (from:yyyy) |
1981
|
| Issued (to:yyyy) |
|
| Created (yyyy-mm-dd) |
|
| Updated (yyyy-mm-dd) |
|
| Captured (yyyy-mm-dd) |
|
|
| Physical description |
|
| Source Title |
| Name |
哲學
|
| Name (Translated) |
|
| Volume |
|
| Issue |
72
|
| Year |
1981
|
| Month |
1
|
| Start page |
1
|
| End page |
26
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII Article ID |
|
| Ichushi ID |
|
| Other ID |
|
| Doctoral dissertation |
| Dissertation Number |
|
| Date of granted |
|
| Degree name |
|
| Degree grantor |
|
|
| Abstract |
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'.
|
|
| Table of contents |
1. 序
2. K4, S4とSuitable Theory
3. Bew, □, と位相
4. 位相的諸性質
5. K4, Gと他の様相系の関係
6. 結論
|
|
| Keyword |
|
| NDC |
|
| Note |
|
| Language |
|
| Type of resource |
|
| Genre |
|
| Text version |
|
| Related DOI |
|
| Access conditions |
|
| Last modified date |
|
| Creation date |
|
| Registerd by |
|
| History |
| Dec 25, 2013 | | フリーキーワード, 目次, 著者 を変更 |
| Oct 12, 2021 | | Creator Link を変更 |
|
|
| Index |
|
| Related to |
|
