Skip to main content

Modalities in Substructural Logics: Theory, Methods and Applications

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.

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
Non-EU contribution
€ 0,00

Participants (17)

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
Non-EU contribution
€ 0,00
UNIVERSIDAD AUTONOMA DE BARCELONA
Spain
Net EU contribution
€ 23 000,00
Address
Calle Campus Universitario Sn Cerdanyola V
08290 Cerdanyola Del Valles

See on map

Region
Este Cataluña Barcelona
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Praha Hlavní město Praha
Activity type
Research Organisations
Non-EU contribution
€ 0,00
USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI
Czechia
Net EU contribution
€ 41 400,00
Address
Pod Vodarenskou Vezi 4 Liben
182 00 Praha 8

See on map

Region
Praha Hlavní město Praha
Activity type
Research Organisations
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 0,00
TECHNISCHE UNIVERSITAET WIEN
Austria
Net EU contribution
€ 101 200,00
Address
Karlsplatz 13
1040 Wien

See on map

Region
Wien Wien
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 0,00

Partners (11)

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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 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
Non-EU contribution
€ 0,00