Projeto
EU project 101007627 - MOSAIC Sysmics #2 -Modal Non-Classical Logic
Resumo
Projeto de pesquisa financiado pela União Européia em lógica modais com base não- clássica. Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic.
Responsáveis
Membros
