ISSN: 1314-3344
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.