17/10 - Edgar Almeida

"Teoremas de Lindström e Lógica de Primeira Ordem"

Apresentaremos as principais definições associadas aos Teoremas de Lindström e a estratégia de prova dos mesmos. Será, também, apresentada uma versão para as lógicas modais.