Triana Mora, Elkin <br/><br/>
Construcción de nuevos ejemplos de lógica epistémica para S4n por medio del método tableaux /  
Elkin Triana Mota ; directora Luz Amparo Carranza ; asesor Gustavo Andres Campos Avendaño 
 - Bogotá :   s.n.,   2016 
 - 47 h. :   il. ; CD-ROM 
<br/><br/>Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas e Ingenierías, 2016 
<br/><br/>Contiene acta de sustentación 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ALGORITMOS<br/>AXIOMAS<br/>LOGICA MATEMATICA<br/>MODALIDAD (MATEMATICA)<br/>OPERACIONES MATEMATICAS<br/>SEMANTICA<br/>SINTAXIS<br/>TESIS
<br/><br/><label>Dewey Class. No.: </label>511.3  / T741