Resumo
Esse projeto visa um estudo de duas vastas famílias de lógicas não-clássicas: lógicas modais e lógicas paraconsistentes. O estudo não será feito com a perspectiva de comparação, mas sim de produção de novos sistemas, operadores e ramos da lógica modal. Este projeto busca um estudo avançado de lógica modal paraconsistente, em particular das LFI's modais, uma classe ampla e expressiva de ló…