Sumários

Exercícios sobre completude pelo teste de Vaught

14 Dezembro 2017, 16:00 João Filipe Quintas dos Santos 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 Filipe Quintas dos Santos 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 Filipe Quintas dos Santos Rasga

Resolução de exercícios sobre todos os embebimentos entre modelos de uma teoria serem elementares para o existe.