MOSAIC

Modalities in Substructural Logics: Theory, Methods and Applications

Abstract

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.

Project details

Unibo Team Leader: Giovanni Sartor

Unibo involved Department/s:
Centro Interdipartimentale Alma Mater Research Institute for Human-Centered Artificial Intelligence - (Alma AI)

Coordinator:
Agencia Estatal Consejo Superior De Investigaciones Cientificas (Csic)(Spain)

Other Participants:
Universitat De Barcellona (Spain)
Universitat Bern (Switzerland)
Ucl University College London (United Kingdom)
Technische Universität Wien (Austria)
Ustav Teorie Informace A Automatizace Av Cr Vvi-Institute Of Information Theory And Automation Of The Cas (Czech Republic)
Università  degli Studi di SALERNO (Italy)
Università  degli Studi di MILANO (Italy)
Universiteit Utrecht (Netherlands)
Uniwersytet Mikolaja Kopernika - Universitas Nicolai Copernici (Poland)
Università  degli Studi INSUBRIA (Italy)
Stichting Vu (Netherlands)
Universidad Autonoma De Barcelona (Spain)
ALMA MATER STUDIORUM - Università di Bologna (Italy)
Universiteit Van Amsterdam (Netherlands)
Ustav Informatiky Av Cr-Institute Of Informatics Of The Cas (Czech Republic)
Institut National Des Sciences Appliquees Centre Val De Loire (France)
Università  degli Studi di GENOVA (Italy)

Total Eu Contribution: Euro (EUR) 1.016.600,00
Project Duration in months: 48
Start Date: 01/09/2021
End Date: 31/08/2025

Cordis webpage

UE flag This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 101007627