Tim Lyon

From International Center for Computational Logic

Tim Lyon

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

I am a postdoctoral researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics. Prior to joining TU Dresden, I was a PhD student at Technische Universität Wien, where I worked on the TICAMORE (Translating and dIscovering CAlculi for MOdal and RElated logics) project under the supervision of Prof. Agata Ciabattoni.

Newest Publications

View full publication list

A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation