Tkaczyk, M. (2007). A formal theory of physical necessity. Logic and Logical Philosophy, 16(1), 65–83. https://doi.org/10.12775/LLP.2007.003