Epistemic Logic and Theory of Mind for Modelling Group Dynamics of Criminal Organizations

In this paper, we show how the Logic of “Inferable” L-DINF is able to model (aspects of) the group dynamics of cooperative agents, and in particular of criminal organizations. We outline how this logic allows a designer to model real-world situations encompassing joint intentions and plans with roles, preferences and costs concerning action execution. All such aspects can be particularly useful to allow investigators to model and understand the activities of criminal organizations, as we demonstrate by means of a significant example.