Janssen, Theo M.V. “On the Interpretation of IF Logic”. Proceedings of the Amsterdam Colloquium, Dec. 1999, pp. 139-44, https://platform.openjournals.nl/PAC/article/view/23406.