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

Palestrante: Guilherme de Souza Rabello

Resumo: 

Inspirados por trabalhos recentes de aproximações de lógica clássica, nós
apresentaremos 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.