Colóquio de Matemática

18/09/2026, 14h - Auditório Airton Silva

Guilherme Cunha, Mestrando em Matemática

Universidade Federal de Santa Catarina

Título: Semántica topológica para lógica modal

Resumo: A lógica modal é uma lógica não clássica que estende a lógica proposicional clássica com um operador de necessidade. Tal lógica geralmente é interpretada por meio da semântica relacional de Kripke, mas Tarski e McKinsey propuseram uma semântica puramente topológica onde o operador de necessidade é lido como o interior de um conjunto. Esta apresentação, de caráter expositivo, desenvolve essa semântica de modo autocontido e apresenta alguns de seus resultados importantes, concluindo com o teorema de McKinsey-Tarski, que caracteriza completamente as lógicas provenientes de uma classe particular de espaços topológicos "bem comportados".

Veja o resumo detalhado.