Prototética Modal - COLLOQUIUM LOGICAE - CLE - UNICAMP

Prezados Colegas,       Nesta próxima quarta-feira, 23/09, teremos o Colloquium Logicae, a ser apresentado pelo Professor Rodrigo Bacellar (FFLCH-USP).   Título: Prototética Modal. Resumo: A palestra será sobre alguns sistemas de lógica modal com quantificação proposicional. Local: Sala 208 - CLE - UNICAMP Horário: 16:00h.       Lembramos, em especial aos alunos matriculados na disciplina Seminário do Programa III (HF-912F), que o Colloquium Logicae faz parte dos Seminários Regulares de Lógica do CLE - UNICAMP.    Atenciosamente,     Luiz Henrique.