CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project investigates substructural modal logics, which enhance classical logic by allowing reasoning about different modes of truth. It aims to explore their applications in knowledge representation, legal reasoning, data privacy, security, and natural language analysis.
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 sub…
AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
UNIVERSITA DEGLI STUDI DI SALERNO
Italy, Fisciano Sa
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Spain, Cerdanyola Del Valles
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Spain, Barcelona
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Netherlands, Amsterdam
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
Guests see up to 5 keywords.
