Loading grant details…
Modalities in Substructural Logics: Theory, Methods and Applications
| Funder | European Commission |
|---|---|
| Recipient Organization | Agencia Estatal Consejo Superior de Investigaciones Cientificas |
| Country | Spain |
| Start Date | Sep 01, 2021 |
| End Date | Apr 30, 2026 |
| Duration | 1,702 days |
| Number of Grantees | 34 |
| Roles | Participant; Partner; Coordinator |
| Data Source | European Commission |
| Grant ID | 101007627 |
Grant 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.
All Grantees
Universita Degli Studi Di Salerno; Technische Universitaet Wien; Chapman University; Consejo Nacional de Investigaciones Cientificas Y Tecnicas (Conicet); Universidade Estadual de Campinas; Universita Degli Studi Di Siena; The University of Queensland; Stichting Vu; Universidade Federal Do Rio Grande Do Norte; Universitaet Bern; Institut National Des Sciences Appliquees Centre Val de Loire; Ustav Teorie Informace A Automatizace Av Cr Vvi; Universita Degli Studi Di Cagliari; Ustav Informatiky Av Cr; University of Denver Colorado Seminary; la Trobe University; The Regents of New Mexico State University; Agencia Estatal Consejo Superior de Investigaciones Cientificas; University of the Witwatersrand Johannesburg; The University of Sydney; Universitat de Barcelona; Universita Degli Studi Dell'Insubria; Univerzita Palackeho V Olomouci; Universita Degli Studi Di Milano; Commonwealth Scientific and Industrial Research Organisation; Alma Mater Studiorum - Universita Di Bologna; Universitat Autonoma de Barcelona; Universiteit Utrecht; Universita Degli Studi Di Genova; University College London; The Australian National University; Uniwersytet Mikolaja Kopernika W Toruniu; Universiteit Van Amsterdam; Uniwersytet Jagiellonski
Interested in applying for this grant?
Complete our application form to express your interest and we'll guide you through the process.
Apply for This GrantQuick Summary
Related Grants
