Nuel D. Belnap Jr. Restricted quantification and conditional assertion. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 48–75.