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 aims to advance modal logic by introducing inquisitive semantics, which allows for the analysis of questions alongside statements. By addressing limitations in current modal logic, it seeks to develop new frameworks that can better capture alternative-sensitive modal notions.
Modal logic is at the heart of an incredibly fruitful interdisciplinary enterprise: it is used to formalize reasoning about key notions like knowledge and belief, obligation and permission, action and outcome, and finds important applications in computer science, AI, economics, and linguistics.
In its current form, modal logic builds on truth-conditional semantics, which analyzes meaning in terms of truth conditions.
This is the source of two limitations.
First, there are important modal notion…
UNIVERSITA DEGLI STUDI DI PADOVA
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
