Tim Lyon
Aus International Center for Computational Logic
Tim Lyon
Wissenschaftlicher Mitarbeiter 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.
Neueste Publikationen
Komplette Publikationsliste anzeigen
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
