[1]
P. Lorenzen, “Konstruktive Begründung der Modallogik”, CRHF, vol. 5, no. 14, pp. 19–34, May 1971.