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 project CYDER focuses on developing proof systems for modal fixpoint logics with frame conditions, which are essential for reasoning about recursive concepts in computer science. It aims to enhance formal verification and knowledge representation by introducing new proof methodologies, specifically labelled and nes…
Modal fixpoint logics, which express recursive notions, find several fundamental applications in computer science.
As a key example, in formal verification recursively defined notions are needed to reason about iterations of programs. A second prominent example comes from knowledge representation, where common knowledge of groups of agents is formalised through recursion.
Much as in basic modal logics, the semantics of modal fixpoint logics can be enriched with additional properties, called fra…
UNIVERSITEIT VAN AMSTERDAM
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.
