estou enviando uma cópia da minha Tese de Doutorado para aqueles que têm
interesse em saber um pouco mais sobre outras lógicas. Nesse trabalho eu
desenvolvi uma classe de sistemas que misturam dois tipos de lógica (Lógica
Modal e Lógica Paraconsistente) com o intuito de estudar a potencialidade
da negação dentro dos sistemas modais.
Abs,
Juliana