Lorenzen, P. Konstruktive Begründung Der Modallogik. CRHF 1971, 5, 19-34.