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.
Call for proposal
H2020-MSCA-RISE-2020
See other projects for this call
Funding Scheme
MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)Coordinator
28006 Madrid
Spain
Participants (17)
84084 Fisciano Sa
08290 Cerdanyola Del Valles
08007 Barcelona
1012WX Amsterdam
182 07 Praha
182 00 Praha 8
3012 Bern
87100 Torun
1040 Wien
20122 Milano
WC1E 6BT London
40126 Bologna
1081 HV Amsterdam
18022 Bourges Cedex
16126 Genova
3584 CS Utrecht
21100 Varese
Partners (11)
C1425FQB Buenos Aires
13083 875 Campinas Sp
80208 Denver
0200 Canberra
2001 Johannesburg
3086 La Trobe University
59078-970 Natal
2006 Sydney
Orange
2601 Acton Act
4072 Brisbane