Scholar
Thomas Studer
Google Scholar ID: P0ibLlUAAAAJ
Universität Bern
Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,593
H-index
25
i10-index
48
Publications
20
Co-authors
15
list available
Contact
No contact links provided.
Publications
4 items
Uniform Lyndon Interpolation via Non-wellfounded Proofs
2026
Cited
0
Simplicial Belief
Colloquium on Structural Information & Communication Complexity · 2026
Cited
3
Hypergraph Semantics for Doxastic Logics
2025
Cited
0
Knowledge and Common Knowledge of Strategies
2025
Cited
0
Resume (English only)
Co-authors
15 total
Roman Kuznets
Institute of Computer Science of the Czech Academy of Sciences
Co-author 2
Co-author 3
Co-author 4
Co-author 5
Co-author 6
Co-author 7
Co-author 8
