References
Ruth Barcan Marcus
Possibiha and possible worlds
1985
Grazer Philosophische Studien 25
Modal logic, modal semantics and their applications
1981
in: Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Dordrecht : Springer