(In)completude modal por (N)matrizes finitas

(In)completude modal por (N)matrizes finitas

Newton Marques Peron

TESE

Português

T/UNICAMP P424i

[Modal (in)completeness by finite Nmatrices]

Campinas, SP : [s.n.], 2014.

60 f. : il.

Orientador: Marcelo Esteban Coniglio

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal. Separamos nossa análise em dois casos: matrizes determinísticas e não-determinísticas. No primeiro caso, generalizamos o Teorema de Incompletude de Dugundji, garantindo que uma vasta família de lógicas...

Abstract: This is a study on the feasibility of finite matrices as semantics for modal logics. We separate our analysis into two cases: deterministic and non-deterministic matrices. In the first case, we generalize Dugundji's Incompleteness Theorem, ensuring that a wide family of modal logic cannot...

(In)completude modal por (N)matrizes finitas

Newton Marques Peron


										

(In)completude modal por (N)matrizes finitas

Newton Marques Peron

    Exemplares