Scholar
Tim Lyon
Google Scholar ID: kutoU-wAAAAJ
PostDoc Researcher, TU Dresden
Artificial Intelligence
Automated reasoning
Modal logics
Mathematical logic
Proof theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
238
H-index
9
i10-index
9
Publications
20
Co-authors
7
list available
Publications
1 items
The Varieties of Ought-Implies-Can and Deontic STIT Logic
2026
Cited
0
Co-authors
6 total
Kees van Berkel
Assistant Professor, TU Wien
Alwen Tiu
School of Computing, The Australian National University
Agata Ciabattoni
Vienna University of Technology
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Ranald Clouston
Lecturer, Australian National University
Francesco Olivieri
Independent Researcher
