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 paracons…