Follow
Malvin Gattinger
Title
Cited by
Cited by
Year
Symbolic model checking for dynamic epistemic logic
J Van Benthem, J Van Eijck, M Gattinger, K Su
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015
442015
Symbolic model checking for dynamic epistemic logic—S5 and beyond
J Van Benthem, J Van Eijck, M Gattinger, K Su
Journal of Logic and Computation 28 (2), 367-402, 2018
372018
Knowing values and public inspection
J van Eijck, M Gattinger, Y Wang
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2017
262017
New directions in model checking dynamic epistemic logic
M Gattinger
University of Amsterdam, 2018
202018
Strengthening gossip protocols using protocol-dependent knowledge
H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo
arXiv preprint arXiv:1907.12321, 2019
102019
Symbolic model checking for Dynamic Epistemic Logic-S5 and beyond
J Benthem, J Eijck, M Gattinger, K Su
J. Log. Comp 28, 367-402, 2018
72018
Dynamic epistemic logic for guessing games and cryptographic protocols
M Gattinger
72014
Towards an Analysis of Dynamic Gossip in Netkat
M Gattinger, J Wagemaker
Relational and Algebraic Methods in Computer Science: 17th International …, 2018
62018
Towards model checking cryptographic protocols with dynamic epistemic logic
M Gattinger, J van Eijck
Proc. LAMAS, 1-14, 2015
62015
SMCDEL–An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams
M Gattinger
Version 1 (0), 7-92, 2018
52018
Knowing values and public inspection
M Gattinger, J van Eijck, Y Wang
Proceedings of ICLA 17, 77-90, 2017
52017
Epistemic crypto logic—functional programming and model checking of cryptographic protocols
M Gattinger
Technical report, ILLC, Amsterdam, 2013. Exam paper for the course …, 2013
52013
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
D Miedema, M Gattinger
TARK 2023, 407-420, 2023
32023
Everyone knows that everyone knows: Gossip protocols for super experts
H van Ditmarsch, M Gattinger, R Ramezanian
Studia Logica 111 (3), 453-499, 2023
32023
The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable
H van Ditmarsch, M Gattinger
WoLLIC 2022, 2022
32022
How to agree without understanding each other: public announcement logic with Boolean definitions
M Gattinger, Y Wang
arXiv preprint arXiv:1907.09105, 2019
32019
Everyone knows that everyone knows
R Ramezanian, R Ramezanian, H van Ditmarsch, M Gattinger
Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad …, 2021
22021
Dealing with unreliable agents in dynamic gossip
L van den Berg, M Gattinger
International Workshop on Dynamic Logic, 51-67, 2020
22020
Towards symbolic factual change in DEL
M Gattinger
arXiv preprint arXiv:1912.10717, 2019
22019
Reachability of Five Gossip Protocols
H Van Ditmarsch, M Gattinger, I Kokkinis, LB Kuijer
International Conference on Reachability Problems, 218-231, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20