segunda-feira, 29 de outubro de 2007

Aproximações para as Lógicas Modais K, T, D, S4 e S5

----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: Aproximações para as Lógicas Modais K, T, D, S4 e S5

Palestrante: Guilherme de Souza Rabello

Data: dia 29.10.07 às 14:00 hs

Local: Sala 252 - Bloco A - IME - USP ( http://www.ime.usp.br )


Resumo:

Inspirados por trabalhos recentes de aproximações de lógica clássica,
nós presentaremos um método que aproxima diversas lógicas modais de
uma maneira modular. Nosso ponto de partida será a limitação do
n-ésimo grau de introspecção, gerando as chamadas n-lógicas modais.
Será apresentada uma semântica para as n-lógicas, na qual as fórmulas
são avaliadas com respeito a caminhos e não mundos possíveis. Uma
teoria de prova por tableaux será também mostrada, os n-SST
(n-Single-Step Tableaux), na qual vale correção e completude para as
n-lógicas modais K, T, D, S4 e S5.

Nenhum comentário: