MAC5728 - Tópicos em Lógica Computacional (2018)

Estudar os diversos métodos computacionais para os seguintes problemas: (a) Prova Automática de Teoremas em lógicas clássicas e não clássicas; (b) Satisfação de fórmulas em lógicas clássicas e não clássicas; (x) Verificação de Modelos (model checking) em lógicas modais e temporais.