非反射的様相をもつ二様相論理 Bimodal Logic with the Irreflxive Modality

この論文にアクセスする

この論文をさがす

著者

抄録

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-03-25 

    JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE

参考文献:  12件

参考文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID)
    10018919357
  • NII書誌ID(NCID)
    AN00036945
  • 本文言語コード
    JPN
  • 資料種別
    ART
  • ISSN
    02227668
  • NDL 記事登録ID
    8838019
  • NDL 雑誌分類
    ZM4(科学技術--科学技術一般--自然科学)
  • NDL 請求記号
    Z14-80
  • データ提供元
    CJP書誌  NDL  J-STAGE 
ページトップへ