De relações a vizinhanças: um entendimento sobre não-normalidade modal
Estrutura Relacional, Estrutura de Vizinhança, Modalidades, Sistemas de prova.
A busca por estruturas matemáticas que representem comportamentos de determinadas lógicas é importante para um melhor entendimento dessas lógicas. Ao modicarmos essas lógicas acrescentando modalidades, precisamos de outras estruturas para representa- las, como estruturas relacionais para lógica modal normal. Quando trabalhamos com lógicas modais não-normais, as estruturas de vizinhança conseguem representar a parcela dessas lógicas, as lógicas modais clássicas. Neste trabalho, estudamos como se dá a construção de estruturas de vizinhança para algumas lógicas modais não-normais, com o objetivo relacionar estruturas semânticas e sistemas de provas, buscando entender sistemas de provas que internalizam linguagem semântica.