Además, el grupo de lógica y epistemología de la Universidad de Lille (Francia) ha desarrollado las propuestas de MacColl para una lógica libre dinámica.