Advanced search
Start date

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 - Logic
Principal researcher: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


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)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

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 (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.

Please report errors in scientific publications list by writing to: