Advanced search
Start date
Betweenand

Studies on advanced paraconsistent modal logic

Grant number: 09/10239-5
Support type:Scholarships in Brazil - Doctorate
Effective date (Start): November 01, 2009
Effective date (End): September 30, 2013
Field of knowledge:Humanities - Philosophy
Principal Investigator:Marcelo Esteban Coniglio
Grantee:Newton Marques Peron
Home Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

This project aims to a study of two wide families of non-classical logics: modal logic and paraconsistent logic. The study will not bedone through a comparative analysis, but by the production of new systems, operators and branchs of modal logic. This project investigates an advanced study of paraconsistent modal logic, forinstance of modal LFIs, an ample and expressive class of paraconsistent logic that internalizes the consistency and inconsistency notions in the object-language.Such advanced study encompasses notions such as generalized frames, algebra, bissimulation, model theory, and so on. The paraconsistent version of such notions is obtained by using, on the one hand, non classical algebrizations of Blok-Pigozzi and, on the other hand, taking into account the recent results of completeness for first order LFIs.Another goal towards an advanced study of modal logic is the analysis of modal incompleteness results and the definition of extensions ofmodal logic. Concerning the latter, this project focuses on the so called hybrid logics, an Extension of modal logic which shows to be a wide and fruitful field of research. (AU)

Academic Publications
(References retrieved automatically from State of São Paulo Research Institutions)
PERON, Newton Marques. Modal (in)completeness by finite Nmatrices. 2014. Doctoral Thesis - Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas.

Please report errors in scientific publications list by writing to: cdi@fapesp.br.