Tkaczyk, M. “A Formal Theory of Physical Necessity”. Logic and Logical Philosophy, vol. 16, no. 1, July 2007, pp. 65-83, doi:10.12775/LLP.2007.003.