89 citations · 286 across the 44 of their papers we have counts for
3 papers · 1 filter
No Finite Model Property for Logics of Quantified Announcements
Hans van Ditmarsch, Tim French, Rustam Galimullin
Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announ…
Neighbourhood semantics for graded modal logic
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco +1
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order…
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
Hans van Ditmarsch, Roman Kuznets
We propose a logic of knowledge for impure simplicial complexes. Impure simplicial complexes represent synchronous distributed systems under uncertainty over which processes are st…