M. Tkaczyk, “A formal theory of physical necessity”, LLP, vol. 16, no. 1, pp. 65–83, Jul. 2007.