33 citations · 60 across the 4 of their papers we have counts for
3 papers · 1 filter
Positive Announcements
Hans van Ditmarsch, Tim French, James Hales
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epis…
A composable language for action models
Tim French, James Hales, Edwin Tay
Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the s…
Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Tim French +2
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be sa…