非反射的様相をもつ二様相論理

書誌事項

タイトル別名
  • 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.

収録刊行物

参考文献 (12)*注記

もっと見る

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ