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.
Programme(s)
Coordinator
28006 Madrid
Spain
See on map
Participants (17)
84084 Fisciano Sa
See on map
08193 Cerdanyola Del Valles
See on map
08007 Barcelona
See on map
1012WX Amsterdam
See on map
182 07 Praha
See on map
Participation ended
182 00 Praha 8
3012 Bern
See on map
87100 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
Partners (12)
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.
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