Modalities in Substructural Logics: Theory, Methods and Applications
Modalities in Substructural Logics: Theory, Methods and Applications is a science project.
Press Enter · cited answer in seconds
0 sources
Key Facts
- Start time: September 1, 2021[1]
- End time: April 30, 2026[2]
- Participant: Theory, Methods and Applications — participant (P710): University of Salerno[3], Theory, Methods and Applications — participant (P710): Autonomous University of Barcelona[4], Theory, Methods and Applications — participant (P710): University of Barcelona[5], Theory, Methods and Applications — participant (P710): University of Amsterdam[6], Theory, Methods and Applications — participant (P710): Institute of Computer Science[7], eu_cordis_org:999976493[8], Theory, Methods and Applications — participant (P710): Nicolaus Copernicus University in Toruń[9], Theory, Methods and Applications — participant (P710): TU Wien[10], Theory, Methods and Applications — participant (P710): University of Milan[11], eu_cordis_org:999975620[12], Theory, Methods and Applications — participant (P710): University of Bologna[13], eu_cordis_org:954530344[14], eu_cordis_org:949056343[15], Theory, Methods and Applications — participant (P710): University of Genoa[16]
- Short name: MOSAIC[17]
- Budget: 1,016,600 euro[18]
- Funding scheme: Theory, Methods and Applications — funding scheme (P6195): Horizon 2020[19]