Logic

Logic is the study of statements of facts: how they can be combined, translated, derived and analysed. It includes what the mathematical properties of logics are, and what forms of reasoning are needed to model different kinds of systems.

Our experts study substructural and categorical logics, probabilistic systems, nominal systems and specialised systems for reasoning in particular application domains. We have particular expertise in understanding logics as mathematical structures, and in their use in verification. A key concern is logics that can be used in practice for automated reasoning, for example monadic second-order logic and logics with probability can become too complex, and one needs to identify feasible fragments.

Logic-translations - author Paulo Oliva (with permission)