Studer, Thomas

1. Intuitionistic modal logic made explicit
   2017/02/15 by Marti, Michel, Studer, Thomas · 2 citations
2. Synergistic Knowledge
   2024/03/27 by Christian Cachin, David Lehnherr, Cachin, Christian +3 · 4 citations
   Arts and Humanities · #Epistemology, Ethics, and Metaphysics #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Subset models for justification logic
   2019/02/07 by Lehmann, Eveline, Studer, Thomas · 1 citation
   #FOS: Mathematics #Logic (math.LO)
4. Coalgebraic proof translations for non-wellfounded proofs
   2025/06/02 by Borja Sierra Miranda, Miranda, Borja Sierra, Thomas Studer +3 · 3 citations
   Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems