PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
Tim Lyon
Technische Universität Dresden
Home
Publications
18
Most Recent
Most Downloaded
Topics
Events
1
News and Updates
17
More details
Technische Universität Dresden
Institute of Artificial Intelligence
Research Scientist
Technische Universität Wien
Alumnus, 2021
Homepage
Dresden, SN, Germany
0000-0003-3214-0828
Areas of Specialization
Science, Logic, and Mathematics
Areas of Interest
Science, Logic, and Mathematics
My events
Past events
Tense Logics, Structural Proof Theory, and Effective Translations
Logic Group, The University of Melbourne
November 22, 2018