Práctico 10 de abril

Hola,

hoy estuvimos repasando cálculo de secuentes clásicos, y estuvimos viendo secuentes para sistemas modales (especialmente K, T, S4 y S5).

Todo lo que dije en clase está en este material que preparé. El material incluye tres ejercicios que revisaremos la semana próxima. Una introducción menos didáctica pero mucho más exhaustiva a los métodos de prueba para lógica modal pueden encontrarla en este texto de Sara Negri.

La semana próxima (17 de abril) nos vamos a introducir en el fascinante mundo de la lógica epistémica.

Saludos y felices Pascuas/Pesaj/feriados,

Diego

Leave a Reply

Your email address will not be published. Required fields are marked *