Description du projet
Explorer les «conséquences» d’une structure moindre
La logique est une discipline qui étudie le raisonnement correct et les déclarations véridiques dans un environnement formel. Les langages, les systèmes déductifs, la syntaxe et la sémantique sont ses outils de base. Les logiques modales classiques forment une famille de logiques qui se concentrent sur les modes de vérité, c’est-à-dire qu’elles analysent si une déclaration est «nécessairement» ou «éventuellement» vraie, dans une situation donnée. Le projet MOSAIC, financé par l’UE, examine de plus près les logiques modales en se basant sur le cadre général des logiques substructurelles. Ces dernières constituent une vaste classe de systèmes formels, notamment les logiques classiques, intuitionnistes, multivaluées et paracohérentes, pour n’en citer que quelques-unes. Au-delà de l’analyse théorique, le projet MOSAIC a également pour objectif de développer des outils et des méthodes pour les logiques modales substructurelles en vue d’influencer plusieurs domaines des sciences appliquées tels que l’intelligence artificielle, la sécurité et le raisonnement juridique.
Objectif
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.
Champ scientifique
Mots‑clés
Programme(s)
Régime de financement
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Coordinateur
28006 Madrid
Espagne
Voir sur la carte
Participants (21)
84084 Fisciano Sa
Voir sur la carte
08193 Cerdanyola Del Valles
Voir sur la carte
08007 Barcelona
Voir sur la carte
1012WX Amsterdam
Voir sur la carte
182 00 Praha
Voir sur la carte
Participation terminée
182 00 Praha 8
Voir sur la carte
3012 Bern
Voir sur la carte
87100 Torun
Voir sur la carte
1040 Wien
Voir sur la carte
20122 Milano
Voir sur la carte
WC1E 6BT London
Voir sur la carte
40126 Bologna
Voir sur la carte
1081 HV Amsterdam
Voir sur la carte
18022 Bourges Cedex
Voir sur la carte
16126 Genova
Voir sur la carte
3584 CS Utrecht
Voir sur la carte
21100 Varese
Voir sur la carte
09124 Cagliari
Voir sur la carte
31-007 Krakow
Voir sur la carte
771 47 Olomouc
Voir sur la carte
53100 Siena
Voir sur la carte
Partenaires (12)
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
C1425FQB Buenos Aires
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
13083 875 Campinas Sp
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
80208 Denver
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
0200 Canberra
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
2001 Johannesburg
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
3086 La Trobe University
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
59078-970 Natal
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
2006 Sydney
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
Orange
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
2601 Acton Act
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
4072 Brisbane
Voir sur la carte
Les organisations partenaires contribuent à la mise en œuvre de l’action, mais ne signent pas la convention de subvention.
NM 88003-8001 Las Cruces
Voir sur la carte