Descrizione del progetto DEENESFRITPL Esplorare le «conseguenze» di una minore struttura La logica è una disciplina che studia il ragionamento corretto e le affermazioni vere in un ambiente formale. I suoi strumenti di base sono rappresentati da linguaggi, sistemi deduttivi, sintassi e semantica. Le logiche modali classiche formano una famiglia di logiche che si concentrano sui modi di verità, vale a dire, analizzano se un’affermazione è «necessariamente» o «possibilmente» vera, in una determinata situazione. Il progetto MOSAIC, finanziato dall’UE, sta esaminando più da vicino le logiche modali basate sull’impostazione generale delle logiche sottostrutturali. Queste ultime appartengono a un’ampia classe di sistemi formali che includono logiche classiche, intuizionistiche, multivalori e paraconsistenti, solo per citarne alcune. Oltre all’analisi teorica, il progetto MOSAIC si propone anche di sviluppare strumenti e metodi per logiche modali sottostrutturali per influenzare diverse aree della scienza applicata quali l’intelligenza artificiale, la sicurezza e il ragionamento legale. Mostra l’obiettivo del progetto Nascondi l’obiettivo del progetto Obiettivo 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. Campo scientifico natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesknowledge engineering Parole chiave Modal logics Substructural logics Proof theory Residuated Lattices Kripke Semantics Duality Theory Coalgebras Applied logic Computational linguistics Programma(i) 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 Argomento(i) MSCA-RISE-2020 - Research and Innovation Staff Exchange Invito a presentare proposte H2020-MSCA-RISE-2020 Vedi altri progetti per questo bando Meccanismo di finanziamento MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) Coordinatore AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS Contribution nette de l'UE € 138 000,00 Indirizzo CALLE SERRANO 117 28006 Madrid Spagna Mostra sulla mappa Regione Comunidad de Madrid Comunidad de Madrid Madrid Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 138 000,00 Partecipanti (21) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto UNIVERSITA DEGLI STUDI DI SALERNO Italia Contribution nette de l'UE € 73 600,00 Indirizzo VIA GIOVANNI PAOLO II 132 84084 Fisciano Sa Mostra sulla mappa Regione Sud Campania Salerno Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 73 600,00 UNIVERSITAT AUTONOMA DE BARCELONA Spagna Contribution nette de l'UE € 23 000,00 Indirizzo EDIF A CAMPUS DE LA UAB BELLATERRA CERDANYOLA V 08193 Cerdanyola Del Valles Mostra sulla mappa Regione Este Cataluña Barcelona Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 23 000,00 UNIVERSITAT DE BARCELONA Spagna Contribution nette de l'UE € 87 400,00 Indirizzo GRAN VIA DE LES CORTS CATALANES 585 08007 Barcelona Mostra sulla mappa Regione Este Cataluña Barcelona Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 87 400,00 UNIVERSITEIT VAN AMSTERDAM Paesi Bassi Contribution nette de l'UE € 64 400,00 Indirizzo SPUI 21 1012WX Amsterdam Mostra sulla mappa Regione West-Nederland Noord-Holland Groot-Amsterdam Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 64 400,00 USTAV INFORMATIKY AV CR Cechia Contribution nette de l'UE € 133 400,00 Indirizzo POD VODARENSKOU VEZI 271/2 182 00 Praha Mostra sulla mappa Regione Česko Praha Hlavní město Praha Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 133 400,00 USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI Partecipazione conclusa Cechia Contribution nette de l'UE € 0,00 Indirizzo POD VODARENSKOU VEZI 4 LIBEN 182 00 Praha 8 Mostra sulla mappa Regione Česko Praha Hlavní město Praha Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato UNIVERSITAET BERN Svizzera Contribution nette de l'UE € 27 600,00 Indirizzo HOCHSCHULSTRASSE 6 3012 Bern Mostra sulla mappa Regione Schweiz/Suisse/Svizzera Espace Mittelland Bern / Berne Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 27 600,00 UNIWERSYTET MIKOLAJA KOPERNIKA W TORUNIU Polonia Contribution nette de l'UE € 23 000,00 Indirizzo UL. JURIJA GAGARINA 11 87100 Torun Mostra sulla mappa Regione Makroregion północny Kujawsko-pomorskie Bydgosko-toruński Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 23 000,00 TECHNISCHE UNIVERSITAET WIEN Austria Contribution nette de l'UE € 82 800,00 Indirizzo KARLSPLATZ 13 1040 Wien Mostra sulla mappa Regione Ostösterreich Wien Wien Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 82 800,00 UNIVERSITA DEGLI STUDI DI MILANO Italia Contribution nette de l'UE € 32 200,00 Indirizzo Via Festa Del Perdono 7 20122 Milano Mostra sulla mappa Regione Nord-Ovest Lombardia Milano Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 32 200,00 UNIVERSITY COLLEGE LONDON Regno Unito Contribution nette de l'UE € 46 000,00 Indirizzo GOWER STREET WC1E 6BT London Mostra sulla mappa Regione London Inner London — West Camden and City of London Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 46 000,00 ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italia Contribution nette de l'UE € 9 200,00 Indirizzo VIA ZAMBONI 33 40126 Bologna Mostra sulla mappa Regione Nord-Est Emilia-Romagna Bologna Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 9 200,00 STICHTING VU Paesi Bassi Contribution nette de l'UE € 101 200,00 Indirizzo DE BOELELAAN 1105 1081 HV Amsterdam Mostra sulla mappa Regione West-Nederland Noord-Holland Groot-Amsterdam Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 101 200,00 INSTITUT NATIONAL DES SCIENCES APPLIQUEES CENTRE VAL DE LOIRE Francia Contribution nette de l'UE € 78 200,00 Indirizzo 88 BOULEVARD LAHITOLLE TECHNOPOLE LAHITOLLE 18022 Bourges Cedex Mostra sulla mappa Regione Centre — Val de Loire Centre — Val de Loire Cher Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 78 200,00 UNIVERSITA DEGLI STUDI DI GENOVA Italia Contribution nette de l'UE € 18 400,00 Indirizzo VIA BALBI 5 16126 Genova Mostra sulla mappa Regione Nord-Ovest Liguria Genova Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 18 400,00 UNIVERSITEIT UTRECHT Paesi Bassi Contribution nette de l'UE € 4 600,00 Indirizzo HEIDELBERGLAAN 8 3584 CS Utrecht Mostra sulla mappa Regione West-Nederland Utrecht Utrecht Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 4 600,00 UNIVERSITA DEGLI STUDI DELL'INSUBRIA Italia Contribution nette de l'UE € 4 600,00 Indirizzo VIA RAVASI 2 21100 Varese Mostra sulla mappa Regione Nord-Ovest Lombardia Varese Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 4 600,00 UNIVERSITA DEGLI STUDI DI CAGLIARI Italia Contribution nette de l'UE € 9 200,00 Indirizzo VIA UNIVERSITA 40 09124 Cagliari Mostra sulla mappa Regione Isole Sardegna Cagliari Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 9 200,00 UNIWERSYTET JAGIELLONSKI Polonia Contribution nette de l'UE € 9 200,00 Indirizzo UL GOLEBIA 24 31-007 Krakow Mostra sulla mappa Regione Makroregion południowy Małopolskie Miasto Kraków Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 9 200,00 UNIVERZITA PALACKEHO V OLOMOUCI Cechia Contribution nette de l'UE € 9 200,00 Indirizzo KRIZKOVSKEHO 8 771 47 Olomouc Mostra sulla mappa Regione Česko Střední Morava Olomoucký kraj Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 9 200,00 UNIVERSITA DEGLI STUDI DI SIENA Italia Contribution nette de l'UE € 41 400,00 Indirizzo VIA BANCHI DI SOTTO 55 53100 Siena Mostra sulla mappa Regione Centro (IT) Toscana Siena Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 41 400,00 Partner (12) Classifica in ordine alfabetico Classifica per Contributo netto dell'UE Espandi tutto Riduci tutto Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET) Argentina Contribution nette de l'UE € 0,00 Indirizzo GODOY CRUZ 2290 C1425FQB Buenos Aires Mostra sulla mappa Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 216 200,00 Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. UNIVERSIDADE ESTADUAL DE CAMPINAS Brasile Contribution nette de l'UE € 0,00 Indirizzo CIDADE UNIVERSITARIA ZEFERINO SN 13083 875 Campinas Sp Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. UNIVERSITY OF DENVER COLORADO SEMINARY Stati Uniti Contribution nette de l'UE € 0,00 Indirizzo S UNIVERSITY BLVD 2199 80208 Denver Mostra sulla mappa Tipo di attività Other Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. THE AUSTRALIAN NATIONAL UNIVERSITY Australia Contribution nette de l'UE € 0,00 Indirizzo LIVERSIDGE STREET 1 BUILDING 67C 0200 Canberra Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. UNIVERSITY OF THE WITWATERSRAND JOHANNESBURG Sud Africa Contribution nette de l'UE € 0,00 Indirizzo JAN SMUTS AVENUE 1 2001 Johannesburg Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 41 400,00 Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. LA TROBE UNIVERSITY Australia Contribution nette de l'UE € 0,00 Indirizzo KINGSBURY DRIVE 3086 La Trobe University Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Brasile Contribution nette de l'UE € 0,00 Indirizzo AV SENADOR SALGADO FILHO 3000 59078-970 Natal Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. THE UNIVERSITY OF SYDNEY Australia Contribution nette de l'UE € 0,00 Indirizzo CAMPERDOWN CAMPUS ARUNDEL ST 71/79 2006 Sydney Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. Chapman University Stati Uniti Contribution nette de l'UE € 0,00 Indirizzo 1 University Drive Orange Mostra sulla mappa Tipo di attività Other Collegamenti Contatta l’organizzazione Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION Australia Contribution nette de l'UE € 0,00 Indirizzo CLUNIES ROSS STREET CSIRO BLACK MOUNTAIN SCIENCE AND INNOVATION PARK 2601 Acton Act Mostra sulla mappa Tipo di attività Research Organisations Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. THE UNIVERSITY OF QUEENSLAND Australia Contribution nette de l'UE € 0,00 Indirizzo ST LUCIA 4072 Brisbane Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato Partner Le organizzazioni partner contribuiscono all’attuazione dell’azione, ma non sottoscrivono l’accordo di sovvenzione. The Regents of New Mexico State University Stati Uniti Contribution nette de l'UE € 0,00 Indirizzo Corner of Espina Street & Stewart Street NM 88003-8001 Las Cruces Mostra sulla mappa Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale Nessun dato