Modalities in Substructural Logics: Theory, Methods and Applications

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.

Programme(s)

• 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 DEINVESTIGACIONES CIENTIFICAS

Address

Calle Serrano 117
28006 Madrid
Spain

Activity type

Research Organisations

EU contribution

€ 138 000

Participants (17)

UNIVERSITA DEGLI STUDI DI SALERNO

Italy

EU contribution

€ 73 600

Address

Via Giovanni Paolo Ii 132
84084 Fisciano Sa

Activity type

Higher or Secondary Education Establishments

UNIVERSIDAD AUTONOMA DE BARCELONA

Spain

EU contribution

€ 23 000

Address

Calle Campus Universitario Sn Cerdanyola V
08290 Cerdanyola Del Valles

Activity type

Higher or Secondary Education Establishments

UNIVERSITAT DE BARCELONA

Spain

EU contribution

€ 87 400

Address

Gran Via De Les Corts Catalanes 585
08007 Barcelona

Activity type

Higher or Secondary Education Establishments

UNIVERSITEIT VAN AMSTERDAM

Netherlands

EU contribution

€ 64 400

Address

Spui 21
1012WX Amsterdam

Activity type

Higher or Secondary Education Establishments

USTAV INFORMATIKY AV CR

Czechia

EU contribution

€ 133 400

Address

Pod Vodarenskou Vezi 271/2
182 07 Praha

Activity type

Research Organisations

USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI

Czechia

EU contribution

€ 41 400

Address

Pod Vodarenskou Vezi 4 Liben
182 00 Praha 8

Activity type

Research Organisations

UNIVERSITAET BERN

Switzerland

EU contribution

€ 36 800

Address

Hochschulstrasse 6
3012 Bern

Activity type

Higher or Secondary Education Establishments

UNIWERSYTET MIKOLAJA KOPERNIKA W TORUNIU

Poland

EU contribution

€ 23 000

Address

Ul. Jurija Gagarina 11
87100 Torun

Activity type

Higher or Secondary Education Establishments

TECHNISCHE UNIVERSITAET WIEN

Austria

EU contribution

€ 101 200

Address

Karlsplatz 13
1040 Wien

Activity type

Higher or Secondary Education Establishments

UNIVERSITA DEGLI STUDI DI MILANO

Italy

EU contribution

€ 32 200

Address

Via Festa Del Perdono 7
20122 Milano

Activity type

Higher or Secondary Education Establishments

UNIVERSITY COLLEGE LONDON

United Kingdom

EU contribution

€ 46 000

Address

Gower Street
WC1E 6BT London

Activity type

Higher or Secondary Education Establishments

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA

Italy

EU contribution

€ 9 200

Address

Via Zamboni 33
40126 Bologna

Activity type

Higher or Secondary Education Establishments

STICHTING VU

Netherlands

EU contribution

€ 101 200

Address

De Boelelaan 1105
1081 HV Amsterdam

Activity type

Higher or Secondary Education Establishments

INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE

France

EU contribution

€ 78 200

Address

88 Boulevard Lahitolle Technopole Lahitolle
18022 Bourges Cedex

Activity type

Higher or Secondary Education Establishments

UNIVERSITA DEGLI STUDI DI GENOVA

Italy

EU contribution

€ 18 400

Address

Via Balbi 5
16126 Genova

Activity type

Higher or Secondary Education Establishments

UNIVERSITEIT UTRECHT

Netherlands

EU contribution

€ 4 600

Address

Heidelberglaan 8
3584 CS Utrecht

Activity type

Higher or Secondary Education Establishments

UNIVERSITA DEGLI STUDI DELL'INSUBRIA

Italy

EU contribution

€ 4 600

Address

Via Ravasi 2
21100 Varese

Activity type

Higher or Secondary Education Establishments

Partners (11)

CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)

Argentina

Address

Godoy Cruz 2290
C1425FQB Buenos Aires

Activity type

Research Organisations

UNIVERSIDADE ESTADUAL DE CAMPINAS

Brazil

Address

Cidade Universitaria Zeferino Sn
13083 875 Campinas Sp

Activity type

Higher or Secondary Education Establishments

UNIVERSITY OF DENVER COLORADO SEMINARY

United States

Address

S University Blvd 2199
80208 Denver

Activity type

Other

THE AUSTRALIAN NATIONAL UNIVERSITY

Australia

Address

Liversidge Street 1 Building 67C
0200 Canberra

Activity type

Higher or Secondary Education Establishments

UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG

South Africa

Address

Jan Smuts Avenue 1
2001 Johannesburg

Activity type

Higher or Secondary Education Establishments

LA TROBE UNIVERSITY

Australia

Address

Kingsbury Drive
3086 La Trobe University

Activity type

Higher or Secondary Education Establishments

UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE

Brazil

Address

Av Senador Salgado Filho 3000
59078-970 Natal

Activity type

Higher or Secondary Education Establishments

THE UNIVERSITY OF SYDNEY

Australia

Address

Camperdown Campus Arundel St 71/79
2006 Sydney

Activity type

Higher or Secondary Education Establishments

Chapman University

United States

Address

1 University Drive
Orange

Activity type

Other

COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION

Australia

Address

Clunies Ross Street Csiro Black Mountain Science And Innovation Park
2601 Acton Act

Activity type

Research Organisations

THE UNIVERSITY OF QUEENSLAND

Australia

Address

St Lucia
4072 Brisbane

Activity type

Higher or Secondary Education Establishments