Reglas de deducción natural para sistemas de lógica modal

Seleccione Año de tesis: 
2018
Autor: 
Rodrigo Hernán Mena Gonzalez
Profesor Guía: 
Wilfredo Quezada