TY  - BOOK
AU  - Quezada Pulido,Wilfredo
AU  - Verdugo Serna,Carlos
ED  - Universidad de Valparaíso (Chile).
TI  - Lógica modal: : una mecanización alternativa para la semántica de los mundos posibles de Kripke 
PY  - 1989///
CY  - Viña del Mar
PB  - Universidad de Valparaíso
KW  - KRIPKE, SAUL
KW  - LOGICA EPISTEMICA
KW  - MODALIDAD (LOGICA)
N1  - Incluye índice; Magíster en Filosofía. Mención Lógica y Filosofía de las Ciencias; Bibliografía: h. 120-124
ER  -