Thomas Studer

Identifiers

• name variant Thomas Studer 0.60 · backfill

Papers (6)

1. Proof Theory for Bimodal Provability Logics math.LO · 2026 · author #2
2. A Logic of Blockchain Updates cs.LO · 2017 · author #3
3. A Logic of Knowing Why cs.AI · 2016 · author #3
4. Modular Models for Intuitionistic Justification Logic math.LO · 2016 · author #2
5. Justification logic enjoys the strong finite model property cs.LO · 2015 · author #1
6. Cut-elimination for the mu-calculus with one variable cs.LO · 2012 · author #2

Mentions

• 1506.06933 #1 · backfill · confidence 0.70 Thomas Studer
• 1202.3501 #2 · backfill · confidence 0.70 Thomas Studer

Frequent Coauthors

• Borja Sierra Miranda 1 shared papers
• Chao Xu 1 shared papers
• Dandolo Flumini 1 shared papers
• Grigori Mints 1 shared papers
• Kai Br\"unnler 1 shared papers
• Michel Marti 1 shared papers
• Yanjing Wang 1 shared papers