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