MISC

本文へのリンクあり
2020年10月31日

On Blass translation for Leśniewski's propositional ontology and modal logics

arXiv:2006.15421v2 [math.LO], Cornell University
  • Takao Inoué

記述言語
英語
掲載種別
機関テクニカルレポート,技術報告書,プレプリント等
出版者・発行元
Cornell University

In this paper, we shall give another proof of the faithfulness of Blass translation (for short, B-translation) of the propositional fragment L1 of Leśniewski's ontology in the modal logic K \it by means of Hintikka formula\rm . And we extend the result to von Wright-type deontic logics, i.e., ten Smiley-Hanson systems of monadic deontic logic. As a result of observing the proofs we shall give general theorems on the faithfulness of B-translation with respect to normal modal logics complete to certain sets of well-known accessibility relations with a restriction that transitivity and symmetry are not set at the same time. As an application of the theorems, for example, B-translation is faithful for the provability logic PrL (= GL), that is, K + □(□ϕ⊃ϕ)⊃□ϕ. The faithfulness also holds for normal modal logics, e.g., KD, K4, KD4, KB. We shall conclude this paper with the section of some open problems and conjectures.

リンク情報
URL
https://arxiv.org/abs/2006.15421

エクスポート
BibTeX RIS