Periodic Reporting for period 1 - CYDER (CYclic DErivations for Recursive operators)

CYDER's key objective consists in the definition of proof systems for modal fixpoint logics with frame conditions. Modal fixpoint logics are modal logics including "recursive modalities", which are operators allowing to capture recursively defined notions, such as iterative...