書誌事項
- タイトル別名
-
- Bimodal Logic with the Irreflxive Modality
- ヒハンシャテキ ヨウソウ オ モツ 2 ヨウソウ ロンリ
この論文をさがす
抄録
This paper proposes a bimodal logic with an additional modality (called the irreflexive modality), which corresponds semantically to the intersection of the accessibility relation and the inequality. First, we show that we can define, within this framework, several properties that are undefinable in the unimodal language; irreflexivity is one of such properties. Second, with respect to the frame expressivity, we compare our language with the unimodal language and another bimodal language with the difference operator that is studied by de Rijke. Finally, we give a Hilbert-style axiomatization of our logic and prove that certain familiar modal systems, such as S4 and S5, enjoy Kripke completeness in our language.
収録刊行物
-
- 科学基礎論研究
-
科学基礎論研究 34 (1), 1-10, 2007
科学基礎論学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205323758080
-
- NII論文ID
- 10018919357
-
- NII書誌ID
- AN00036945
-
- ISSN
- 18841236
- 00227668
-
- NDL書誌ID
- 8838019
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- Crossref
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可