Lógica Modal


Otoño 2017 (semestre 2018-1) los viernes de 16:00 a 18:00 horas en el Aula 2-1 del Anexo Sánchez Vázquez.


Programa (PDF).
Presentación 01 (PDF).
Tarea 01
Clarence Irving Lewis, A Survey of Symbolic Logic (PDF).
Presentación 02 (PDF).
Appendix II de Clarence Irving Lewis y Cooper Harold Langford, Symbolic Logic (PDF).
Kripke 1959 (PDF).
Lewis 1912 (PDF).
Lewis 1920 (PDF).
Nota: La sesión 3 fue un repaso. Para la sesión 4, cada alumno debe escoger un teorema para presentarlo como en la tarea en la presentación 02.
Presentación 04 (PDF).
Presentación 05 (PDF).
Nota: Durante la sesión 6 se hizo una comparación entre S1-S5 a cargo de Óscar. Las diapositivas de su presentación están aquí (PDF).
Presentación 07 (PDF).
Kripke 1963-I (PDF).
Kripke 1963 (PDF).
Presentación 08 (PDF).