Thomas Studer
Author
Alternate names T. Studer, T.R. Studer, Thomas Studer
Past institutions University of Bern, Czech Academy of Sciences, Institute of Computer Science, Bridgepoint (United Kingdom)
ORCID: Yes
H-index: 19
I10-index: 32
Works count: 133
Citations count: 910
Justifications for common knowledge
2011 · Samuel Bucheli, Roman Kuznets, et al. · Journal of Applied Non-Classical Logics
Explicit Evidence Systems with Common Knowledge
2010 · Samuel Bucheli, Roman Kuznets, et al. · arXiv (Cornell University)
Weak arithmetical interpretations for the Logic of Proofs
2016 · Roman Kuznets, Thomas Studer · Logic Journal of IGPL