Periodic Reporting for period 1 - D-FINED (Duality for Finite Models: Relating Structure and Power)

This project focusses on the research area of logic and semantics of computation. Finite model theory is the specialisation of model theory to finite structures and has been called “the logic of computer science” since in the latter field the basic models of computation...