ISSN: 1314-3344
Yong Chan Kim
Demostramos que las relaciones reflexivas, transitivas y simétricas pueden ser inducidas por operadores modales, de necesidad, suficiencia y cosuficiencia. Damos sus ejemplos.