様相論理KTBとそれを含む様相論理がなす束の構造に関する研究

模态逻辑KTB及包含它的模态逻辑形成的丛的结构研究

• 批准号: 18700002
• 负责人: 宮崎 裕
• 金额: $ 2.11万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18700002/
• 关键词: 様相論理; KTB; Kripke; incompleteness; splitting

本研究の当該年度における実績は次のとおりである。以下で様相論理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がなす束における状況ときわめてよく似ている。

The purpose of this study is to increase the number of students in this year. The following information is KTB, which contains the following information about the whole system. Please read the next (KTB) list. The 1.NEXT (KTB) account does not count as a number of Kripk incomplete operations. The Kripke incomplete management system does not exist. The Kripke incomplete management system does not exist. It does not mean that the general information is different. The NEXT (KTB) management is similar to the Kripke incomplete management system. It is the same as the Kripke incomplete management system. It does not count as if it is the same as the Kripke incomplete management system. 2.NEXT (KTB) makes a complete decision on splitting logics. Reflexive point

项目成果

Kripke incomplete logics containing KTB

包含 KTB 的 Kripke 不完全逻辑

• 发表时间: 2007
• 期刊: Studia Logica 85
• 作者: 徳永恵子;只浦寛子;Yutaka Miyazaki;Yutaka Miyazaki
• 通讯作者: Yutaka Miyazaki

A splitting logic in NEXT (KTB)

NEXT (KTB) 中的分裂逻辑

• 发表时间: 2007
• 期刊: Studia Logica 85
• 作者: 徳永恵子;只浦寛子;Yutaka Miyazaki
• 通讯作者: Yutaka Miyazaki