Malvin Gattinger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Virtual group knowledge and group belief in topological evidence models	2026-01-01	Paper
Completeness and decidability of protocol-dependent knowledge in gossip	2026-01-01	Paper
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof (available as arXiv preprint)	2025-01-01	Paper
You can only be lucky once: optimal gossip for epistemic goals Mathematical Structures in Computer Science	2024-11-29	Paper
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic Electronic Proceedings in Theoretical Computer Science	2024-02-28	Paper
Everyone knows that everyone knows: gossip protocols for super experts Studia Logica	2023-06-28	Paper
The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable Logic, Language, Information, and Computation	2023-06-02	Paper
Strengthening gossip protocols using protocol-dependent knowledge (available as arXiv preprint)	2022-09-28	Paper
How to agree without understanding each other: public announcement logic with Boolean definitions (available as arXiv preprint)	2021-12-20	Paper
How to agree without understanding each other: public announcement logic with Boolean definitions	2021-12-20	Paper
Dealing with unreliable agents in dynamic gossip	2021-12-01	Paper
Everyone knows that everyone knows Logic, Epistemology, and the Unity of Science	2021-03-19	Paper
Reachability of five gossip protocols	2019-10-22	Paper
Knowing values and public inspection Logic and Its Applications	2019-07-24	Paper
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* Journal Of Logic And Computation	2019-01-31	Paper
Towards an analysis of dynamic gossip in Net\textsc{kat}	2018-11-08	Paper
Symbolic Model Checking for Dynamic Epistemic Logic Logic, Rationality, and Interaction	2015-12-17	Paper

Research outcomes over time

This page was built for person: Malvin Gattinger