Projet MOSAIC (Horizon 2020, appel à projets 2020)
Action : Staff Exchanges
Panel : Mathematics
Statut du projet : SIGNED

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. 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.

Mots clés : modal logics, substructural logics, proof theory, residuated lattices, kripke semantics, duality theory, coalgebras, applied logic, computational linguistics

Participants :
- Spanish National Research Council (Espagne) — Coordinator, beneficiary, Recherche, subvention : 138000.0 €
- University of Salerno (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 73600.0 €
- University of Genoa (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 18400.0 €
- University of the Witwatersrand (Afrique du Sud) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Nicolaus Copernicus University (Pologne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 23000.0 €
- University of Amsterdam (Pays-Bas) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 64400.0 €
- New Mexico State University (Etats-Unis) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Federal University of Rio Grande do Norte (Brésil) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Universidade Estadual de Campinas (Brésil) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- University of Insubria (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 4600.0 €
- Australian National University (Australie) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- University of Sydney (Australie) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Palacký University, Olomouc (Rép. Tchèque) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 9200.0 €
- Czech Academy of Sciences (Rép. Tchèque) — Partner, beneficiary, Recherche, subvention : 0.0 €
- University of Milan (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 32200.0 €
- University of Bern (Suisse) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 27600.0 €
- University of Colorado System (Etats-Unis) — Partner, organization partner, Autres, subvention : 0.0 €
- TU Wien (Autriche) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 82800.0 €
- University of Queensland (Australie) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- La Trobe University (Australie) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Australian Government (Australie) — Partner, organization partner, Recherche, subvention : 0.0 €
- Consejo Nacional de Investigaciones Científicas y Técnicas (Argentine) — Partner, organization partner, Recherche, subvention : 0.0 €
- Jagiellonian University (Pologne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 9200.0 €
- Institut national des sciences appliquées Centre Val de Loire (France) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 78200.0 €
- Czech Academy of Sciences (Rép. Tchèque) — Partner, beneficiary, Recherche, subvention : 133400.0 €
- Vrije Universiteit Amsterdam (Pays-Bas) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 101200.0 €
- Chapman University (Etats-Unis) — Partner, organization partner, Organismes privés (hors enseignement), subvention : 0.0 €
- Autonomous University of Barcelona (Espagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 23000.0 €
- University of Barcelona (Espagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 87400.0 €
- University of Bologna (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 9200.0 €
- University of Siena (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 41400.0 €
- University of Cagliari (Italie) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 9200.0 €
- Utrecht University (Pays-Bas) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 4600.0 €
- University of London (Royaume-Uni) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 46000.0 €