A formal framework for reasoning about agents’ independence in self-organizing multi-agent systems | Journal of Logic and Computation | DeepDyve