Project description DEENESFRITPL 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. Show the project objective Hide the project objective 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. Fields of science natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesknowledge engineering Programme(s) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge Topic(s) MSCA-RISE-2020 - Research and Innovation Staff Exchange 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 AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS Net EU contribution € 138 000,00 Address Calle serrano 117 28006 Madrid Spain See on map Region Comunidad de Madrid Comunidad de Madrid Madrid Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Participants (17) Sort alphabetically Sort by Net EU contribution Expand all Collapse all UNIVERSITA DEGLI STUDI DI SALERNO Italy Net EU contribution € 73 600,00 Address Via giovanni paolo ii 132 84084 Fisciano sa See on map Region Sud Campania Salerno Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITAT AUTONOMA DE BARCELONA Spain Net EU contribution € 23 000,00 Address Edif a campus de la uab bellaterra cerdanyola v 08193 Cerdanyola del valles See on map Region Este Cataluña Barcelona Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITAT DE BARCELONA Spain Net EU contribution € 87 400,00 Address Gran via de les corts catalanes 585 08007 Barcelona See on map Region Este Cataluña Barcelona Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITEIT VAN AMSTERDAM Netherlands Net EU contribution € 64 400,00 Address Spui 21 1012WX Amsterdam See on map Region West-Nederland Noord-Holland Groot-Amsterdam Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 USTAV INFORMATIKY AV CR Czechia Net EU contribution € 133 400,00 Address Pod vodarenskou vezi 271/2 182 07 Praha See on map Region Česko Praha Hlavní město Praha Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI Participation ended Czechia Net EU contribution € 41 400,00 Address Pod vodarenskou vezi 4 liben 182 00 Praha 8 See on map Region Česko Praha Hlavní město Praha Activity type Research Organisations Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITAET BERN Switzerland Net EU contribution € 36 800,00 Address Hochschulstrasse 6 3012 Bern See on map Region Schweiz/Suisse/Svizzera Espace Mittelland Bern / Berne Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIWERSYTET MIKOLAJA KOPERNIKA W TORUNIU Poland Net EU contribution € 23 000,00 Address Ul. jurija gagarina 11 87100 Torun See on map Region Makroregion północny Kujawsko-pomorskie Bydgosko-toruński Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 TECHNISCHE UNIVERSITAET WIEN Austria Net EU contribution € 101 200,00 Address Karlsplatz 13 1040 Wien See on map Region Ostösterreich Wien Wien Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITA DEGLI STUDI DI MILANO Italy Net EU contribution € 32 200,00 Address Via festa del perdono 7 20122 Milano See on map Region Nord-Ovest Lombardia Milano Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITY COLLEGE LONDON United Kingdom Net EU contribution € 46 000,00 Address Gower street WC1E 6BT London See on map Region London Inner London — West Camden and City of London Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italy Net EU contribution € 9 200,00 Address Via zamboni 33 40126 Bologna See on map Region Nord-Est Emilia-Romagna Bologna Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 STICHTING VU Netherlands Net EU contribution € 101 200,00 Address De boelelaan 1105 1081 HV Amsterdam See on map Region West-Nederland Noord-Holland Groot-Amsterdam Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE France Net EU contribution € 78 200,00 Address 88 boulevard lahitolle technopole lahitolle 18022 Bourges cedex See on map Region Centre — Val de Loire Centre — Val de Loire Cher Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITA DEGLI STUDI DI GENOVA Italy Net EU contribution € 18 400,00 Address Via balbi 5 16126 Genova See on map Region Nord-Ovest Liguria Genova Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITEIT UTRECHT Netherlands Net EU contribution € 4 600,00 Address Heidelberglaan 8 3584 CS Utrecht See on map Region West-Nederland Utrecht Utrecht Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNIVERSITA DEGLI STUDI DELL'INSUBRIA Italy Net EU contribution € 4 600,00 Address Via ravasi 2 21100 Varese See on map Region Nord-Ovest Lombardia Varese Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partners (12) Sort alphabetically Sort by Net EU contribution Expand all Collapse all Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET) Argentina Net EU contribution € 0,00 Address Godoy cruz 2290 C1425FQB Buenos aires See on map Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 216 200,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. UNIVERSIDADE ESTADUAL DE CAMPINAS Brazil Net EU contribution € 0,00 Address Cidade universitaria zeferino sn 13083 875 Campinas sp See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. UNIVERSITY OF DENVER COLORADO SEMINARY United States Net EU contribution € 0,00 Address S university blvd 2199 80208 Denver See on map Activity type Other Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. THE AUSTRALIAN NATIONAL UNIVERSITY Australia Net EU contribution € 0,00 Address Liversidge street 1 building 67c 0200 Canberra See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG South Africa Net EU contribution € 0,00 Address Jan smuts avenue 1 2001 Johannesburg See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 41 400,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. LA TROBE UNIVERSITY Australia Net EU contribution € 0,00 Address Kingsbury drive 3086 La trobe university See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Brazil Net EU contribution € 0,00 Address Av senador salgado filho 3000 59078-970 Natal See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. THE UNIVERSITY OF SYDNEY Australia Net EU contribution € 0,00 Address Camperdown campus arundel st 71/79 2006 Sydney See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. Chapman University United States Net EU contribution € 0,00 Address 1 university drive Orange See on map Activity type Other Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION Australia Net EU contribution € 0,00 Address Clunies ross street csiro black mountain science and innovation park 2601 Acton act See on map Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. THE UNIVERSITY OF QUEENSLAND Australia Net EU contribution € 0,00 Address St lucia 4072 Brisbane See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Partner Partner organisations contribute to the implementation of the action, but do not sign the Grant Agreement. The Regents of New Mexico State University United States Net EU contribution € 0,00 Address Corner of espina street & stewart street NM 88003-8001 Las cruces See on map Activity type Higher or Secondary Education Establishments Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00