Esta tesis de grado, enmarcada en la Licenciatura en Matemática Aplicada de la Universidad Nacional del Litoral, estudia sistemas lógicos que combinan dos generalizaciones de la lógica clásica: las lógicas modales y las ...