This document is unfortunately not available for download at the moment.
Olav K. Wiegand (1998) Interpretationen der Modallogik: ein Beitrag zur phänomenologischen Wissenschaftstheorie, Dordrecht, Springer.
Der Beweisbegriff als mathematische Modalität
die Extensionsgleichheit von formaler Logik und Mathematik auf dem Hintergrund der Beweistheorie
Olav K. Wiegand
pp. 170-194
Not implemented yet !