Summary: GoBack
C. Nalon Seminário Informal (,mas formal) ­ UnB/IE/MAT ­ 29/10/04 - slide #1
Prova Automática de Teoremas para Lógicas
Modais
Cláudia Nalon
http://www.cic.unb.br/nalon
nalon@{cic.unb.br, unb.br}
Universidade de Brasília
Instituto de Ciências Exatas
Departamento de Ciência da Computação
q Provas em Sistemas Modais
Motivação
q Motivação ­ I
q Motivação ­ II
q Motivação ­ III
Overview
Lógica Proposicional
Lógica Temporal
Lógica de Conhecimento
Conhecimento e Tempo

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics