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
The PAnaMoL project aims to unify proof theory for modal logics by developing syntactic characterizations and comparing different sequent-style frameworks. It seeks to enhance understanding of modal logics' proof-theoretic strengths and provide tools for researchers in various fields.
The PAnaMoL project aims at systematising proof theory for modallogics.
We intend to provide a unified perspective on sequent-stylecalculi and a deeper understanding of the general connections betweenaxiom systems and sequent-style calculi for such logics.
In detailthe research objectives are- The systematic development of suitable syntactic characterisationsof classes of modal axioms corresponding to natural formats of rulesin different sequent-style frameworks (e.g. sequent, hypersequent,nes…
TECHNISCHE UNIVERSITAET WIEN
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.
