Publications

2018

  • Malvin Gattinger : SMCDEL — An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams , Version 1.0.0 , 2018 . (LINK) (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 , To appear , 2018 . (LINK) (BibTeX)
  • Malvin Gattinger : New Directions in Model Checking Dynamic Epistemic Logic , PhD thesis , 2018 . (LINK) (BibTeX)
  • Malvin Gattinger, Jana Wagemaker : Towards an Analysis of Dynamic Gossip in NetKAT , Jules Desharnais, Walter Guttmann, Stef Joosten: RAMiCS 2018 , 2018 . (doi.org/10.1007/978-3-030-02149-8_17) (BibTeX)

2017

  • Malvin Gattinger : How smart can and should we be in sharing gossip? , Department of Philosophy, Beijing Normal University , 2017 . (BibTeX)
  • Jan van Eijck, Malvin Gattinger, Yanjing Wang : Knowing Values and Public Inspection , Sujata Ghosh and Sanjiva Prasad: 7th Indian Conference on Logic and Its Applications: ICLA 2017, Kanpur, India , 2017 . (PDF) (doi.org/10.1007/978-3-662-54069-5_7) (BibTeX)
  • Malvin Gattinger : HasCacBDD — Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management. , Version 0.1.0.0 , 2017 . (LINK) (BibTeX)
  • Malvin Gattinger : Towards Symbolic Factual Change in DEL , Karoliina Lohiniva and Johannes Wahle: ESSLLI 2017 Student Session , 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 : Symbolic Model Checking for Dynamic Epistemic Logic: Factual Change and Bisimulations , Workshop: From Computation to Agency, Tsinghua University, Beijing , 2017 . (PDF) (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 , 2017 . (PDF) (doi.org/10.1093/logcom/exx038) (BibTeX)

2016

  • Malvin Gattinger : MCHLPE — A Model Checker for the Hardest Logic Puzzle Ever , 2016 . (LINK) (BibTeX)
  • Malvin Gattinger : A Model Checker for the Hardest Logic Puzzle Ever , PhDs in Logic VIII, Darmstadt , 2016 . (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)

2015

  • 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 : 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)
  • Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su : Symbolic Model Checking for Dynamic Epistemic Logic , {van der Hoek}, Wiebe and Holliday, H. Wesley and Wang, Wen-fang: Fifth International Conference on Logic, Rationality and Interaction (LORI-V) in Taipei, Taiwan, October 28-30, 2015 , 2015 . (doi.org/10.1007/978-3-662-48561-3_30) (BibTeX)
  • Jan van Eijck, Malvin Gattinger : Elements of Epistemic Crypto Logic , 2015 . (LINK) (BibTeX)

2014

  • Malvin Gattinger : Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols , Master of Logic thesis , 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 : Craig Interpolation of PDL -- A report on the proof by Daniel Leivant (1981) , 2014 . (PDF) (BibTeX)
  • Malvin Gattinger : KripkeVis — A Haskell module to visualize Kripke frames , 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 : PDL has Craig Interpolation since 1981. , 2014-10-01, Algebra|Coalgebra Seminar, ILLC , 2014 . (LINK) (BibTeX)

2013

  • 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)

2012

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

2011

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

2008

  • 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 : Simmias und Supervenienz , Course paper, Marburg , 2008 . (PDF) (BibTeX)
  • Malvin Gattinger : On Humes Identity , Course paper, Marburg , 2008 . (PDF) (BibTeX)

2007

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