PROGRAMAÇÃO
15h - 15h30, Antonio Dantas (pesquisador, LnA-UnB), O ceticismo modal amplo e uma nova noção de contingência
15h30-16h , Mateus Maia (mestrando, FIL-UnB), Sobre o sentido de sistemas formais
16h-16h30, Gustavo Schmidt (mestrando, FIL-UnB), Abordagens da construtividade matemática
16h30-17h, Gabriel Lima (doutorando, FIL-UnB), Uso de internet e algoritmos: extensão e interferência cognitiva
INTERVALO
17h30-18h, Alfredo Roque Freire (pós-doc, Universidade de Aveiro), Sobre lógicas modais com mundos em lógicas diferentes
Moderador: Prof. Alexandre Costa-Leite (FIL-UnB)