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.
outubro 26, 2012, 11:0
Documentos da dissertação ainda não disponíveis publicamente
Orientação
