Dissertação

Sequent calculi labelled with worlds for modal logics. EVALUATED

O objetivo desta tese é estudar apresentações etiquetadas por mundos baseadas em cálculo de sequentes para lógicas modais. O objetivo é combinar o bom comportamento do cálculo de sequentes em teoria da demonstração com a modularidade das apresentações etiquetadas e com a simplicidade da etiquetagem por mundos. Capitalizou-se no trabalho desenvolvido por Basin et al em sobre apresentações etiquetadas por mundos e baseadas em dedução natural para lógicas modais e no trabalho de Mateus et al sobre apresentações baseadas em cálculo de sequentes etiquetados por valores de verdade para essas lógicas. Propõem-se na tese sistemas etiquetados por mundos para uma larga classe de lógicas modais e prova-se a sua correção e completude desde que sejam satisfeitas algumas condições.
lógica modal, lógica modal etiquetada, cálculo de sequentes, correção, completude

Outubro 26, 2012, 11:0

Documentos da dissertação ainda não disponíveis publicamente

Orientação

ORIENTADOR

João Filipe Quintas dos Santos Rasga

Departamento de Matemática (DM)

Professor Auxiliar