様相論理KTBとそれを含む様相論理がなす束の構造に関する研究
| Project/Area Number |
18700002
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
宮崎 裕 北大, 情報科学研究科 (40374607)
|
|---|
| Project Period (FY) |
2006 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2007: ¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 2006: ¥1,900,000 (Direct Cost: ¥1,900,000)
|
|---|
| Keywords | 様相論理 / KTB / Kripke / incompleteness / splitting |
|---|
| Research Abstract |
本研究の当該年度における実績は次のとおりである。以下で様相論理KTBを含むノーマルな様相論理全体のクラス、およびそれらがなす束をNEXT(KTB)と書き表す。
1.NEXT(KTB)において非可算個のKripk incompleteな論理を構成した。
Kripke incompleteな論理が非可算個存在するということは他の様相論理のクラスにおいても普通に見られる現象であり、NEXT(KTB)でこの現象が見つかったことはさほどに驚くべきことではないが、論理KTBを特徴付けるようなsymmetricなframeで非可算個のKripke incompleteな論理が構成できたことは注目に値する。
2.NEXT(KTB)におけるsplitting logicsを完全に決定した。
Reflexive pointただ1つからなるframeが決める論理がNEXT(KTB)をsplitすることはすでに知られていた。報告者は2つのreflexive pointsをsymmetricなrelationでつないだframeが決める論理もNEXT(KTB)をsplitすることを示した。さらに報告者はNEXT(KTB)をsplitする論理がこの2つだけしかないことも示した。この現象は様相論理KTを含む論理の束NEXT(KT)やtense logicsがなす束における状況ときわめてよく似ている。
|
Report
(1 results)
Research Products
(2 results)
