ISSN: 1314-3344
Ён Чан Ким
Показано, что рефлексивные, транзитивные, симметричные отношения могут быть индуцированы модальными операторами, операторами необходимости, достаточности и содостаточности. Приведены их примеры.