Este texto tem por objetivo estudar aproximações de lógicas, um procedimento que tem interesse tanto filosófico quanto computacional. No primeiro capítulo, é apresentado o conceito geral de aproximações. Nos três capítulos seguintes, diferentes abordagens encontradas na literatura são discutidas. Primeiro, o procedimento de Cadoli-Schaerf, que foi um dos primeiros e ainda é um dos mais importantes métodos de aproximações de lógicas, tendo servido de base para os outros dois aqui analisados. Cadoli e Schaerf trabalham com sentenças no formato normal clausal e normal negativo. O trabalho de Cadoli-Schaerf apresenta procedimentos de aproximações para lógicas proposicionais clássicas, formaliza esses procedimentos em uma lógica modal do conhecimento e os estende para modais. O segundo procedimento, de Fabio Massacci, estende Cadoli-Schaerf para sentenças proposicionais quaisquer e para sentenças modais, todas assinaladas, além disso, apresenta uma teoria da prova a partir de tableaux semânticos, também utilizando sentenças assinaladas. O terceiro procedimento, devido a Finger e Wassermann, generaliza Cadoli-Schaerf para sentenças proposicionais quaisquer não-assinaladas, empregando sentenças assinaladas apenas nos tableaux de prova. Nos dois capítulos que se seguem, é apresentada uma extensão de Finger-Wasermann para lógicas modais - c0m semântica e teoria da prova - e formaliza-se esse procedimento em uma lógica modal do conhecimento. Na conclusão, analisam-se os resultados obtidos e discutem-se possíveis direções para trabalhos futuros.

not available