Bimodal Logic with the Irreflxive Modality

• SANO KATSUHIKO

  Graduate School of Letters, Kyoto University

• NAKAYAMA YASUO

  Graduate School of Human Science, Osaka University

Bibliographic Information

Other Title

• 非反射的様相をもつ二様相論理
• ヒハンシャテキ ヨウソウ オ モツ 2 ヨウソウ ロンリ

Abstract

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.

Journal

• Journal of the Japan Association for Philosophy of Science

  Journal of the Japan Association for Philosophy of Science 34 (1), 1-10, 2007

  Japan Association for Philosophy of Science

Details

• CRID: 1390001205323758080
• NII Article ID: 10018919357
• NII Book ID: AN00036945
• DOI: 10.4288/kisoron1954.34.1
• ISSN: 18841236
• ISSN: 00227668
• NDL BIB ID: 8838019
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8838019
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed