9 papers
The Dynamic Turn in Paraconsistency
Rafael Ongaratto, Hans van Ditmarsch
In this work we propose a dynamic turn in paraconsistency. We introduce AMLFI1, the action model extension of the paraconsistent logic LFI1. A special case is PALFI1, a paraconsist…
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
History of the Muddy Children Puzzle
Hans van Ditmarsch
The Muddy Children Puzzle is a puzzle about knowledge and ignorance that has been inspiring for the development of epistemic logic. Who came up with it first? This is unclear. We t…
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…
Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
We investigate a logic for asynchronous announcements wherein the sending of the messages by the environment is separated from their reception by the individual agents. Both come w…
Hypergraph Semantics for Doxastic Logics
Hans van Ditmarsch, Djanira Gomes, David Lehnherr +2
Simplicial models have become a crucial tool for studying distributed computing. These models, however, are only able to account for the knowledge, but not for the beliefs of agent…