MOSAIC
MOSAIC

MOSAIC
MOSAIC
 : 
Modalities in Substructural Logics: Theory, Methods and Applications
Modalities in Substructural Logics: Theory, Methods and Applications

A Project coordinated by IIIA.

Web page:

Principal investigator: 

Collaborating organisations:

CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)

UNIVERSITA DEGLI STUDI DI SALERNO

UNIVERSIDAD AUTONOMA DE BARCELONA

UNIVERSITAT DE BARCELONA

UNIVERSITEIT VAN AMSTERDAM

USTAV INFO...

[see more]

CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)

UNIVERSITA DEGLI STUDI DI SALERNO

UNIVERSIDAD AUTONOMA DE BARCELONA

UNIVERSITAT DE BARCELONA

UNIVERSITEIT VAN AMSTERDAM

USTAV INFORMATIKY AV CR

USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI

UNIVERSITAET BERN

UNIWERSYTET MIKOLAJA KOPERNIKA W TORUNIU

UNIVERSIDADE ESTADUAL DE CAMPINAS

TECHNISCHE UNIVERSITAET WIEN

UNIVERSITY OF DENVER COLORADO SEMINARY

THE AUSTRALIAN NATIONAL UNIVERSITY

UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG

LA TROBE UNIVERSITY

UNIVERSITA DEGLI STUDI DI MILANO

UNIVERSITY COLLEGE LONDON

UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE

THE UNIVERSITY OF SYDNEY

Chapman University

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA

STICHTING VU

INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE

THE UNIVERSITY OF QUEENSLAND

UNIVERSITA DEGLI STUDI DI GENOVA

UNIVERSITEIT UTRECHT

UNIVERSITA DEGLI STUDI DELL'INSUBRIA

Funding entity:

European Commission - Marie Skłodowska-Curie Actions
European Commission - Marie Skłodowska-Curie Actions

Funding call:

Funding call URL:

Project #:

H2020-MSCA-RISE-2020 (101007627)
H2020-MSCA-RISE-2020 (101007627)

Total funding amount:

1.016.000,00€
1.016.000,00€

IIIA funding amount:

Duration:

01/Sep/2021
01/Sep/2021
31/Aug/2025
31/Aug/2025

Extension date:

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 project 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. Our aim is also to explore the applications of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

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 project 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. Our aim is also to explore the applications of substructural modal logics outside the bounds of mathematical logic and, in particular, in the areas of knowledge representation; legal reasoning; data privacy and security; logical analysis of natural language.

No publications uploaded yet
Tommaso Flaminio
Tenured Scientist
Phone Ext. 233

Lluís Godo
Research Professor
Phone Ext. 217