Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Logiche esterne di Kleene e logiche modali basate sulle logiche di Kleene |
|---|---|
| Titolo del progetto di ricerca in inglese | External Kleene logics and modal logics based on Kleene |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Studio delle logiche esterne di Kleene e delle logiche modali basate su logiche di Kleene (forti e deboli), con particolare riferimento alla loro semantica algebrica e alle loro applicazioni in teoria della conoscenza ed informatica teorica.Si richiede una buona conoscenza delle logiche non-classiche, degli strumenti dell'algebra universale e della logica algebrica. In sede di discussione orale ogni candidato/a verrà invitato/a a spiegare come intenda contribuire allo sviluppo degli obiettivi del progetto DeKLA (si veda la pagina https://sites.google.com/uniurb.it/dekla-project/about-theproject). |
| Descrizione sintetica in inglese | Study of external Kleene logic and modal logics based on Kleene (strong and weak), with particular reference to their algebraic counterparts and the applications in the theory of knowledge and in theoretical computer science. It is requested knowledge of non-classical logics, tools from Universal algebra and algebraic logic. During the oral examination, each candidate will be invited to explain how s/he intends to contribute to the development of the objective of the DeKLA project (see https://sites.google.com/uniurb.it/dekla-project/about-theproject). |
| Data del bando | 20/12/2023 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://dirpersonale.unica.it/concorsi/index.php?page=assegni |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Università di Cagliari |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.unica.it |
| stefano.bonzio@unica.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/01/2024 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |