Menu
MapConnectionsTopicsBulgariaThe Night (K-TRIO)Marie Skłodowska-CurieFor studentsFor teachersMethodologySurprise me
H2020Staff exchange2021–2026

MOSAIC · Modalities in Substructural Logics: Theory, Methods and Applications

Horizon 2020 — Marie Skłodowska-Curie Actions

Duration
2021-09-01 → 2026-04-30
EU contribution
€1,016,600
Participants
35
Scheme
MSCA-RISE

Lines connect the coordinator with its partners.

Results in brief

Modalities in Substructural Logics: Theory, Methods and Applications

Modal logics are a family of formal systems based on classical logic that improve its expressive power allowing to reason about modes of truth: epistemic, doxastic, temporal, normative, information updates, etc. Substructural logics are weaker deductive systems than classical logic that can account for notions of truth other than Boolean, such as constructive proofs and computation (intuitionistic logic), degrees of truth (fuzzy logics), local contradictions (paraconsistent logics), and others. The objectives are: (1) Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities. (2) Exploring the application 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.

Data: CORDIS, © European Union

Project objective

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.

Original text from CORDIS.

Participants

  • AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS · MadridCoordinatorSpain
  • ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA · BolognaItaly
  • COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION · ACTON ACTAustralia
  • CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET) · Buenos AiresArgentina
  • Central Queensland University · RockhamptonAustralia
  • Chapman University · OrangeUnited States
  • INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE · Bourges CedexFrance
  • LA TROBE UNIVERSITY · La Trobe UniversityAustralia
  • STICHTING VU · AmsterdamNetherlands
  • TECHNISCHE UNIVERSITAET WIEN · WienAustria
  • THE AUSTRALIAN NATIONAL UNIVERSITY · CANBERRAAustralia
  • THE UNIVERSITY OF QUEENSLAND · BrisbaneAustralia
  • THE UNIVERSITY OF SYDNEY · SydneyAustralia
  • The Regents of New Mexico State University · Las CrucesUnited States
  • UNIVERSIDADE ESTADUAL DE CAMPINAS · Campinas SpBrazil
  • UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE · NatalBrazil
  • UNIVERSITA DEGLI STUDI DELL'INSUBRIA · VareseItaly
  • UNIVERSITA DEGLI STUDI DI CAGLIARI · CagliariItaly
  • UNIVERSITA DEGLI STUDI DI GENOVA · GENOVAItaly
  • UNIVERSITA DEGLI STUDI DI MILANO · MilanoItaly
  • UNIVERSITA DEGLI STUDI DI SALERNO · Fisciano SaItaly
  • UNIVERSITA DEGLI STUDI DI SIENA · SienaItaly
  • UNIVERSITAET BERN · BernSwitzerland
  • UNIVERSITAT AUTONOMA DE BARCELONA · Cerdanyola Del VallesSpain
  • UNIVERSITAT DE BARCELONA · BarcelonaSpain
  • UNIVERSITEIT UTRECHT · UtrechtNetherlands
  • UNIVERSITEIT VAN AMSTERDAM · AmsterdamNetherlands
  • UNIVERSITY COLLEGE LONDON · LondonUnited Kingdom
  • UNIVERSITY OF DENVER COLORADO SEMINARY · DenverUnited States
  • UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG · JohannesburgSouth Africa
  • UNIVERZITA PALACKEHO V OLOMOUCI · OlomoucCzechia
  • UNIWERSYTET JAGIELLONSKI · KrakowPoland
  • UNIWERSYTET MIKOLAJA KOPERNIKA · TORUNPoland
  • USTAV INFORMATIKY AV CR · PrahaCzechia
  • USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI · Praha 8Czechia

Links

Data: CORDIS, © European Union