P. Lorenzen, «Konstruktive Begründung der Modallogik», CRHF, vol. 5, n.º 14, pp. 19–34, may 1971.