Malvin Gattinger
Scholar

Malvin Gattinger

Google Scholar ID: 6_WdCF4AAAAJ
University of Amsterdam
Dynamic Epistemic LogicModal LogicModel CheckingEpistemic PlanningGossip Protocols
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
153
 
H-index
6
 
i10-index
5
 
Publications
20
 
Co-authors
16
list available
Contact
Emailb.r.m.gattinger@uva.nl
Publications
3 items
Comparing State-Representations for DEL Model Checking
2025
Cited
0
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
2025
Cited
0
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
2025
Cited
0
Resume (English only)
Co-authors
16 total
Co-author 1
Co-author 1
Hans van Ditmarsch
Hans van Ditmarsch
CNRS
Co-author 3
Co-author 3
Yanjing Wang (王彦晶)
Yanjing Wang (王彦晶)
Professor of Logic, Peking University
Louwe B. Kuijer
Louwe B. Kuijer
University of Liverpool
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8