• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Master's Dissertation
DOI
https://doi.org/10.11606/D.45.2005.tde-20210729-141220
Document
Author
Full name
Guilherme de Souza Rabello
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 2005
Supervisor
Title in Portuguese
Aproximações de lógicas modais
Keywords in Portuguese
Lógica Matemática
Abstract in Portuguese
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.
Title in English
not available
Abstract in English
not available
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
Publishing Date
2021-07-29
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.