Janssen, T. M. (1999). On the interpretation of IF logic. Proceedings of the Amsterdam Colloquium, 139-144. https://platform.openjournals.nl/PAC/article/view/23406