This document is unfortunately not available for download at the moment.
Thomas M. Seebohm, Dagfinn Føllesdal, J. N. Mohanty (1991) Phenomenology and the formal sciences, Dordrecht, Springer.
Modalization and modalities
Charles Harvey, Jaakko Hintikka
pp. 59-77
Not implemented yet !