マセマティカ エテルナ
オープンアクセス

概要

Relations and modal operators

Yong Chan Kim

We show that reflexive, transitive, symmetric relations can be induced by modal, necessity, sufficiency and co-sufficiency operators. We give their examples.