conf.researchr.org / Malvin Gattinger
Registered user since Thu 12 Jun 2025
Name:Malvin Gattinger
Country:Netherlands
Affiliation:ILLC, University of Amsterdam
Personal website: https://malv.in
GitHub: https://github.com/m4lvin
Research interests:Modal Logic
Contributions