A sound interpretation of Leśniewski's epsilon in modal logic KTB

Takao Inoué

In this paper, we shall show that the following translation $I^M$ from the propositional fragment ${\mathbf{L}}_1$ of Leśniewski's ontology to modal logic $\mathbf{KTB}$ is sound: for any form…