• Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian: Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts, Studia Logica, Volume 111, Issue 3, pp. 453-499, 2023. (PDF)(
  • Daniel Miedema, Malvin Gattinger: Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic, In: Rineke Verbrugge: TARK 2023, pp. 407–-420, 2023. (PDF)(
  • Malvin Gattinger: HasCacBDD — Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management, Version, 2023. (LINK)(BibTeX)


  • Hans van Ditmarsch, Malvin Gattinger: The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable, In: Agata Ciabattoni, Elaine Pimentel, Ruy de Queiroz: WoLLIC 2022, pp. 237-249, 2022. (PDF)(
  • Malvin Gattinger: GoMoChe: Gossip Model Checking, In: LAMAS&SR 2022, Rennes, 2022. (PDF)(BibTeX)
  • Malvin Gattinger: A Verified Proof of Craig Interpolation for Basic Modal Logic via Tableaux in Lean, In: Advances in Modal Logic 2022, short presentation, 2022. (PDF)(BibTeX)


  • Rahim Ramezanian, Rasoul Ramezanian, Hans van Ditmarsch, Malvin Gattinger: Everyone Knows that Everyone Knows, In: Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour: Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir, 2021. (
  • Malvin Gattinger: Symbolic and Succinct Perspective Shifts for Faster Epistemic Planning, 2021-10-14, Tsinghua Logic Salon, 2021. (BibTeX)
  • Malvin Gattinger: Protocols for Unreliable Dynamic Gossip, 2021-01-21, GroLog Seminar, Groningen, 2021. (BibTeX)


  • Line van den Berg, Malvin Gattinger: Dealing with Unreliable Agents in Dynamic Gossip, In: Manuel A. Martins, Igor Sedlár: Dynamic Logic. New Trends and Applications. DaLí 2020, pp. 51-67, 2020. (
  • Malvin Gattinger: Towards Symbolic and Succinct Perspective Shifts, In: EpiP workshop at ICAPS 2020, Nancy / online, 2020. (PDF)(VIDEO)(
  • Marcin Korecki, Malvin Gattinger, Rineke Verbrugge: Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation, In: Ana Rocha, Luc Steels, Jaap van den Herik: ICAART 2020, pp. 161-168, 2020. (PDF)(
  • Malvin Gattinger: Tableau Calculus for PDL and Interpolation, Translation of Manfred Borzechowski (1988): Tableau-Kalkül für PDL und Interpolation, 2020. (LINK)(BibTeX)
  • Malvin Gattinger: Shifting perspectives without possible worlds, 2020-09-24, LIRa Seminar, Amsterdam, 2020. (LINK)(VIDEO)(BibTeX)
  • Manfred Borzechowski, Malvin Gattinger: A Proof from 1988 that PDL has Interpolation?, In: Nicola Olivetti, Rineke Verbrugge: Advances in Modal Logic, pp. 13-17, short presentation, 2020. (PDF)(BibTeX)


  • Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo: Strengthening Gossip Protocols using Protocol-Dependent Knowledge, Journal of Applied Logics - IfCoLog Journal of Logics and their Applications, Volume 6, Number 1, pp. 157-203, 2019. (PDF)(BibTeX)
  • Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer: Reachability of Five Gossip Protocols, In: Emmanuel Filiot, Raphaël Jungers, Igor Potapov: RP 2019, 2019. (PDF)(
  • Malvin Gattinger, Yanjing Wang: How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions, In: Lawrence S. Moss: TARK 2019, pp. 206-220, 2019. (PDF)(
  • Malvin Gattinger: How Open was my PhD project?, 2019-12-11, FSE Open-Science Get-together, Groningen, 2019. (PDF)(BibTeX)
  • Malvin Gattinger, Jana Wagemaker: Dynamic Gossip in NetKAT with Simulated Switch States, 2019-08-25, RADICAL workshop, Amsterdam, 2019. (PDF)(BibTeX)
  • Malvin Gattinger: Adding Boolean Definitions to Public Announcement Logic, 2019-04-04, LIRa Seminar, Amsterdam, 2019. (LINK)(BibTeX)


  • Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su: Symbolic Model Checking for Dynamic Epistemic Logic — S5 and Beyond, Journal of Logic and Computation, Volume 28, Issue 2, pp. 367–402, 2018. (PDF)(
  • Malvin Gattinger, Jana Wagemaker: Towards an Analysis of Dynamic Gossip in NetKAT, In: Jules Desharnais, Walter Guttmann, Stef Joosten: RAMiCS 2018, 2018. (PDF)(
  • Malvin Gattinger: New Directions in Model Checking Dynamic Epistemic Logic, PhD thesis, 2018. (LINK)(BibTeX)


  • Malvin Gattinger: Towards Symbolic Factual Change in DEL, In: Karoliina Lohiniva, Johannes Wahle: ESSLLI 2017 Student Session, pp. 14-24, 2017. (LINK)(BibTeX)
  • Jan van Eijck, Malvin Gattinger, Yanjing Wang: Knowing Values and Public Inspection, In: Sujata Ghosh, Sanjiva Prasad: 7th Indian Conference on Logic and Its Applications: ICLA 2017, Kanpur, India, pp. 77-90, 2017. (PDF)(
  • Malvin Gattinger: From Zero to Logic in Haskell, In: Stefan Minica, Christina Unger, Yanjing Wang: A Programming Road to Logic, Maths, Language, and Philosophy: A Tribute to Jan van Eijck on the Occasion of His Retirement, pp. 26-29, 2017. (PDF)(BibTeX)
  • Malvin Gattinger: Call Me When You’re Sober: Strengthening Dynamic Gossip Protocols, 2017-12-07, LIRa Seminar, Amsterdam, 2017. (LINK)(BibTeX)
  • Malvin Gattinger: How smart can and should we be in sharing gossip?, Department of Philosophy, Beijing Normal University, 2017. (BibTeX)
  • Malvin Gattinger: Symbolic Model Checking for Dynamic Epistemic Logic: Factual Change and Bisimulations, Workshop: From Computation to Agency, Tsinghua University, Beijing, 2017. (PDF)(BibTeX)


  • Malvin Gattinger: What we know and don't know about Craig Interpolation and Propositional Dynamic Logic, CLLC, Department of Philosophy, Peking University, 2016. (PDF)(BibTeX)
  • Malvin Gattinger: Epistemic Model Checking with Haskell, Department of Philosophy, Peking University, 2016. (PDF)(BibTeX)
  • Malvin Gattinger: A Model Checker for the Hardest Logic Puzzle Ever, PhDs in Logic VIII, Darmstadt, 2016. (PDF)(BibTeX)
  • Malvin Gattinger: Alles Käse — A Note on Constructible Dynamic Gossip Graphs, Workshop: The Logical Structure of Correlated Information Change, 2016. (PDF)(BibTeX)
  • Malvin Gattinger: MCHLPE — A Model Checker for the Hardest Logic Puzzle Ever, 2016. (LINK)(BibTeX)


  • Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su: Symbolic Model Checking for Dynamic Epistemic Logic, In: Wiebe van der Hoek, Wesley Holliday, Wen-fang Wang: Fifth International Conference on Logic, Rationality and Interaction (LORI-V) in Taipei, Taiwan, October 28-30, 2015, pp. 366-378, 2015. (
  • Jan van Eijck, Malvin Gattinger: Elements of Epistemic Crypto Logic, In: AAMAS 2015 International Conference on Autonomous Agents and Multiagent Systems, pp. 1795-1796, 2015. (LINK)(BibTeX)
  • Malvin Gattinger: From Muddy Children to Sum and Product in a few seconds — Symbolic Model Checking for Dynamic Epistemic Logic, 2015-10-13, Logic Tea, ILLC, 2015. (BibTeX)
  • Malvin Gattinger: Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic, 2015-05-04, 8th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS), 2015. (PDF)(BibTeX)
  • Malvin Gattinger: MuBDDy Children, 2015-01-16, LIRa Seminar, 2015. (PDF)(BibTeX)


  • Malvin Gattinger: Craig Interpolation of PDL -- A report on the proof by Daniel Leivant (1981), 2014. (PDF)(BibTeX)
  • Malvin Gattinger: Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols, Master of Logic thesis, 2014. (LINK)(BibTeX)
  • Malvin Gattinger: PDL has Craig Interpolation since 1981., 2014-10-01, Algebra|Coalgebra Seminar, ILLC, 2014. (LINK)(BibTeX)
  • Malvin Gattinger: PDL probably has Craig Interpolation since 1981. Or: If Rumsfeld would have been a logician, 2014-03-28, Cool Logic Seminar, ILLC, 2014. (LINK)(BibTeX)
  • Malvin Gattinger: Craig Interpolation for PDL and its History, 2014-11-24, Applied Logic Seminar, TU Delft, 2014. (BibTeX)
  • Malvin Gattinger: Modeλ Checking DEL for Guessing Games and Cryptography, 2014-10-03, Workshop on The Logical Dynamics of Information, Agency and Interaction, Amsterdam, 2014. (PDF)(BibTeX)
  • Malvin Gattinger: KripkeVis — A Haskell module to visualize Kripke frames, 2014. (LINK)(BibTeX)


  • Malvin Gattinger: Getting Rid Of Numbers — DOP without Probability Theory?, Technical report, ILLC, Amsterdam, 2013. Exam paper for the course ’Cognitive Models for Language and Music’, 2013. (PDF)(BibTeX)


  • Evante Garza-Licudine, Malvin Gattinger: The Factual Counterfactual-Counter, Course paper based on the paper Making Counterfactual Assumptions by Frank Veltman., 2012. (LINK)(BibTeX)


  • Malvin Gattinger: Wittgensteins Familienähnlichkeit. Interpretationen und Formalisierungen, Examensarbeit (German only, title: Wittgenstein's Family Resemblance: Interpretations and Formalisations.), 2011. (PDF)(BibTeX)


  • Malvin Gattinger: Simmias und Supervenienz, Course paper, Marburg, 2008. (PDF)(BibTeX)
  • Malvin Gattinger: On Humes Identity, Course paper, Marburg, 2008. (PDF)(BibTeX)
  • Malvin Gattinger: Personale Identität und Erinnerung, Course paper, Marburg, 2008. (PDF)(BibTeX)
  • Malvin Gattinger: Supervenienz und Sprache, Course paper, Marburg, 2008. (PDF)(BibTeX)


  • Malvin Gattinger: Wie können wir entscheiden ob eine Person oder ein Wesen einen Geist hat?, Course paper, Marburg, 2007. (PDF)(BibTeX)