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
241
 
H-index
7
 
i10-index
5
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
4 items
Self-Correcting Gossip Protocols
2026
Cited
0
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