MOSAIC
Financiado
Modalities in Substructural Logics Theory Methods and 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...
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.
ver más
Duración del proyecto: 65 meses
Fecha Inicio: 2020-11-09
Fecha Fin: 2026-04-30
Fecha Fin: 2026-04-30
Línea de financiación: concedida
El organismo H2020 notifico la concesión del proyecto el día 2020-11-09
Línea de financiación objetivo
El proyecto se financió a través de la siguiente ayuda:
MSCA-RISE-2020:
Research and Innovation Staff Exchange
Cerrada
hace 4 años
Presupuesto
El presupuesto total del proyecto asciende a
1M€
Líder del proyecto
AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGA...
Investigaciones agrarias
Perfil tecnológico
TRL
2-3
552M
Perfil tecnológico
TRL
2-3
552M
23.00K€ |
Participante
64.40K€ |
Participante