In this paper, we shall give another proof of the faithfulness of Blass translation of the propositional fragment \ of Leśniewski’s ontology in the modal logic \ by means of Hintikka formula. 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 \ ), that is, \ \ \ \supset \Box \phi \). The faithfulness also holds for normal modal logics, e.g., \, \, \, \. We shall conclude this paper with the section of some open problems and conjectures. (shrink)

Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.