Project Details
Description
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.
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.
| Short title | MOSAIC |
|---|---|
| Acronym | MOSAIC |
| Status | Finished |
| Effective start/end date | 1/09/21 → 30/04/26 |
Collaborative partners
- Spanish National Research Council (CSIC) (Coordinator) (lead)
- National Scientific and Technical Research Council (CONICET) (Project partner)
- University of Salerno (Project partner)
- Universitat de Barcelona (UB) (Project partner)
- University of Amsterdam (UvA) (Project partner)
- Ustav Informatiky AV CR (USTINOF) (Project partner)
- Institute of Information Theory and Automation, Czech Academy of Sciences (Project partner)
- University of Bern (Project partner)
- Nicolaus Copernicus University in Toruń (Project partner)
- The State University of Campinas (UNICAMP) (Project partner)
- Vienna University of Technology (TU Wien) (Project partner)
- University of Denver Colorado Seminary (Project partner)
- Australian National University (Project partner)
- University of the Witwatersrand (Project partner)
- La Trobe University (Project partner)
- University of Milan (UNIMI) (Project partner)
- University College London (UCL) (Project partner)
- Federal University of Rio Grande do Norte (Project partner)
- University of Sydney (Project partner)
- Chapman University (Project partner)
- Commonwealth Scientific and Industrial Research Organisation (CSIRO) (Project partner)
- University of Bologna (UNIBO) (Project partner)
- Stichting VU (Project partner)
- National Institute for Applied Sciences Center Val de Loire (INSA CVL) (Project partner)
- University of Queensland (UQ) (Project partner)
- University of Genoa (Project partner)
- Utrecht University (Project partner)
- University of Insubria (Project partner)
Funding
- MSCA Staff Exchanges
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.