Towards a Logical Definition of Emergence [video]