Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Calcoli di sequenti per logiche modali: quantificatori e modalità non-normali |
|---|---|
| Titolo del progetto di ricerca in inglese | Sequent calculi for modal logics: quantifiers and non-normal modalities |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Logic |
| Settore Concorsuale | 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Obiettivo della ricerca è l’introduzione e lo studio di calcoli di sequenti, siano essi alla Gentzen o loro generalizzazioni, per le logiche modali quantificate e per le logiche modali non-normali. Tra i risultati che ci si propone di dimostrare per tali calcoli sono in primo luogo (i) l'ammissibilità delle regole strutturali (attenuazione, contrazione e cesura), e (ii) teoremi di caratterizzazione (validità e completezza) rispetto ad appropriate classi di strutture. Verranno indagate anche alcune conseguenze importanti dell'ammissibilità delle regole strutturali come la possibilità di avere dimostrazioni costruttive di risultati di decidibilità e di interpolazione. In parallelo a quanto sopra, indagheremo se i diversi calcoli introdotti permettano di sviluppare una proof-theoretic semantics per classi rilevanti di logiche modali non-normali o quantificate. |
| Descrizione sintetica in inglese | Aim of the research project is the introduction and the study of the sequent calculi either formulated in the proper Gentzen’s style or in some of its generalizations, for both quantified modal logics and non-normal ones. The expected results are in the first place (i) the admissibility of the structural rules (weakening, contraction and cut) and (ii) soundenss and completeness results with respect to appropriate classes of structures. Given the admissibility of the structural rules we will investigate some of its consequences such as the production of constructive proofs of decidability results and of interpolation results. In parallel, we will investigate whether the introduced calculi allow the definition of a proof-theoretic semantics for relevant classes of modal logics either non-normal or quantified. |
| Data del bando | 14/07/2017 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI FILOSOFIA E COMUNICAZIONE |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| filcom.amministrazione@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 31/07/2017 |
|---|---|
| Come candidarsi | Other |