Moteur de recherche d’entreprises européennes
Financement de l’UE (1 016 600 €) : Modalités en logiques sous-structurales : théorie, méthodes et applications Hor15/01/2021 Programme de recherche et d'innovation de l'UE « Horizon »
Texte
Modalités en logiques sous-structurales : théorie, méthodes et applications
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.
| Central Queensland University | ? |
| Agencia Estatal Consejo Superior de Investigaciones Cientificas | 142 600 € |
| Alma Mater Studiorum - Universita Di Bologna | 9 200,00 € |
| Institut National des Sciences Appliquees Centre Val de Loire | 87 400 € |
| Stichting VU | 138 000 € |
| Technische Universitaet Wien | 73 600 € |
| Universita Degli Studi Dell'Insubria | 4 600,00 € |
| Universita Degli Studi Di Cagliari | 9 200,00 € |
| Universita Degli Studi Di Genova | 18 400,00 € |
| Universita Degli Studi Di Milano | 32 200 € |
| Universita Degli Studi Di Salerno | 73 600 € |
| Universita Degli Studi Di Siena | 55 200 € |
| Universitaet Bern | 27 600 € |
| Universitat Autonoma de Barcelona | 13 800,00 € |
| Universitat de Barcelona | 73 600 € |
| Universiteit Utrecht | 4 600,00 € |
| Universiteit Van Amsterdam | 59 800 € |
| University College London | 32 200 € |
| Univerzita Palackeho V Olomouci | 9 200,00 € |
| Uniwersytet Jagiellonski | 9 200,00 € |
| Uniwersytet Mikolaja Kopernika | 32 200 € |
| Ustav Informatiky AV CR | 110 400 € |
| Ustav Teorie Informace A Automatizace AV CR Vvi | 0,00 € |
https://cordis.europa.eu/project/id/101007627
Cette annonce se réfère à une date antérieure et ne reflète pas nécessairement l’état actuel. L’état actuel est présenté à la page suivante : Central Queensland University, Rockhampton, Australie.
