S. Kiczuk, “A system of the logic of change”, LLP, vol. 23, no. 2, pp. 203–238, Apr. 2014.