Lógicas Modales Dinámicas





Lógicas Modales Dinámicas

El curso Lógicas Modales Dinámicas será dictado en la Escuela de Verano Río 2024. Los docentes del curso son

Horarios

El curso se dictará del 19 al 22 de Febrero de 2024, de 8am a 10.30am.

Pre-requisites

Contenidos necesarios para la cursada: Buenos conocimientos de lógica proposicional. Nociones básicas de lógica de primer orden. Algún conocimiento de lógica modal es un plus.

Evaluación

Es un exámen presencial, el día Viernes 23 de Febrero de 2024, de 8am a 10.30am. En formato multiple-choice.