Summary: GoBack
C. Nalon Semin´ario IME/USP ­ 08/05/06 - 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
G Provas em Sistemas Modais
Motivação
G Motivação ­ I
G Motivação ­ II
Overview
Lógica Proposicional
Lógica de Conhecimento
Conclusões
C. Nalon Semin´ario IME/USP ­ 08/05/06 - slide #2
Motivação ­ I

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

Collections: Mathematics