Tese

Aproximações de lógicas modais (2005)

• Authors:
  • Rabello, Guilherme de Souza
  • Finger, Marcelo (Orientador)
• Autor USP: RABELLO, GUILHERME DE SOUZA - IME
• Unidade: IME
• Sigla do Departamento: MAT
• Assunto: LÓGICA MATEMÁTICA
• Language: Português
• Abstract: 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.
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 2005
• Data da defesa: 29.03.2005


---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  RABELLO, Guilherme de Souza. Aproximações de lógicas modais. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/. Acesso em: 22 maio 2024.

• APA

  Rabello, G. de S. (2005). Aproximações de lógicas modais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

• NLM

  Rabello G de S. Aproximações de lógicas modais [Internet]. 2005 ;[citado 2024 maio 22 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

• Vancouver

  Rabello G de S. Aproximações de lógicas modais [Internet]. 2005 ;[citado 2024 maio 22 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• Approximations of Modal Logic K