Scholar
Malvin Gattinger
Google Scholar ID: 6_WdCF4AAAAJ
University of Amsterdam
Dynamic Epistemic Logic
Modal Logic
Model Checking
Epistemic Planning
Gossip Protocols
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
241
H-index
7
i10-index
5
Publications
20
Co-authors
16
list available
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
Co-authors
10 total
Hans van Ditmarsch
CNRS
Yanjing Wang (王彦晶)
Professor of Logic, Peking University
Louwe B. Kuijer
University of Liverpool
Helle Hvid Hansen
Associate Professor at University of Groningen
Revantha Ramanayake
University of Groningen
Rasoul Ramezanian
Ferdowsi university of Mashhad
Rineke Verbrugge
Prof. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of Groningen
Marcin Korecki
TU Delft
