Sumários
Exercícios sobre completude pelo teste de Vaught
14 dezembro 2017, 16:00 • João Rasga
Resolução de exercícios sobre teorias que satisfazem o teste de Vaught.
AT13 Lógica modal
12 dezembro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Decidibildade da lógica modal K por redução a modelos finitos pela técnica da filtração.
Exercícios sobre completude pelo teste de Vaught
7 dezembro 2017, 16:00 • João Rasga
Resolução de exercícios sobre teorias que satisfazem o teste de Vaught: fundamentos teóricos.
AT12 Lógica modal
5 dezembro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Lógica modal: sintaxe e semântica de Kripke. Lógica modal K- Decidibildade da lógica modal K por redução
a fragmento decidível de FOL.
Exercícios sobre eliminação de quantificadores por via semântica
30 novembro 2017, 16:00 • João Rasga
Resolução de exercícios sobre todos os embebimentos entre modelos de uma teoria serem elementares para o existe.