Project description
Exploring the 'consequences' of less structure
Logic is a discipline that studies correct reasoning and true statements in a formal environment. Languages, deductive systems, syntax and semantics are its basic tools. Classical modal logics form a family of logics that focus on modes of truth, that is to say, they analyse if a statement is 'necessarily' or 'possibly' true, in a given situation. The EU-funded MOSAIC project is taking a closer look at modal logics based on the general setting of substructural logics. The latter are a wide class of formal systems including classical, intuitionistic, many-valued and paraconsistent logics, just to quote few. Beyond the theoretical analysis, the MOSAIC project also aims at developing tools and methods for substructural modal logics to impact several areas of applied science such as artificial intelligence, security and legal reasoning.
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.
Keywords
Programme(s)
Coordinator
28006 Madrid
Spain
See on map
Participants (21)
84084 Fisciano Sa
See on map
08193 Cerdanyola Del Valles
See on map
08007 Barcelona
See on map
1012WX Amsterdam
See on map
182 00 Praha
See on map
Participation ended
182 00 Praha 8
See on map
3012 Bern
See on map
87-100 TORUN
See on map
1040 Wien
See on map
20122 Milano
See on map
WC1E 6BT London
See on map
40126 Bologna
See on map
1081 HV Amsterdam
See on map
18022 Bourges Cedex
See on map
16126 Genova
See on map
3584 CS Utrecht
See on map
21100 Varese
See on map
09124 Cagliari
See on map
31-007 Krakow
See on map
771 47 Olomouc
See on map
53100 Siena
See on map
Partners (13)
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
C1425FQB Buenos Aires
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
13083 875 Campinas Sp
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
80208 Denver
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
0200 Canberra
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
2001 Johannesburg
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
3086 La Trobe University
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
59078-970 Natal
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
2006 Sydney
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
Orange
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
Participation ended
2601 Acton Act
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
4072 Brisbane
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
NM 88003-8001 Las Cruces
See on map
Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement.
4701 Rockhampton
See on map