AU  - Triana Mora,Elkin
AU  - Campos Avendaño,Gustavo Andres
AU  - Carranza,Luz Amparo
TI  - Construcción de nuevos ejemplos de lógica epistémica para S4n por medio del método tableaux / 
U1  - 511.3 
PY  - 2016///
CY  - Bogotá : 
PB  - s.n., 
KW  - ALGORITMOS
KW  - AXIOMAS
KW  - LOGICA MATEMATICA
KW  - MODALIDAD (MATEMATICA)
KW  - OPERACIONES MATEMATICAS
KW  - SEMANTICA
KW  - SINTAXIS
KW  - TESIS
N1  - Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas e Ingenierías, 2016; Contiene acta de sustentación
ER  -