5 papers
Proceedings of the Sixteenth International Conference on Advances in Modal Logic
Marta BÃlková, Malvin Gattinger, Iris van der Giessen +2
Advances in Modal Logic (AiML) was founded in 1995 as an initiative devoted to presenting an up-to-date picture of research in modal logic and its many applications. It combines a…
Self-Correcting Gossip Protocols
Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber +3
We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we…
Comparing State-Representations for DEL Model Checking
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh +1
Model checking with the standard Kripke models used in (Dynamic) Epistemic Logic leads to scalability issues. Hence alternative representations have been developed, in particular s…
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
Alexandru Baltag, Malvin Gattinger, Djanira Gomes
We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fall…
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
Manfred Borzechowski, Malvin Gattinger, Helle Hvid Hansen +4
We show that Propositional Dynamic Logic (PDL) has the Craig Interpolation Property. This question has been open for many years. Three proof attempts were published, but later crit…