"Semantical Correspondence Properties of Some Modal Systems of Logic."

Rolf Nossum, Dov M. Gabbay (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics