Studies on advanced paraconsistent modal logic

• Grant number: 09/10239-5
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: November 01, 2009
• End date: September 30, 2013
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Newton Marques Peron
• Host 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)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

CONIGLIO, MARCELO E.; PERON, NEWTON M.. Modal Extensions of Sub-classical Logics for Recovering Classical Logic. LOGICA UNIVERSALIS, v. 7, n. 1, p. 16-pg., 2013-03-01. (10/51038-0, 09/10239-5)

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.