Semantical Correspondence Properties of Some Modal Systems of Logic.

Rolf Nossum Dov M. Gabbay Semantical Correspondence Properties of Some Modal Systems of Logic. 10-19 1993 SCAI db/conf/scai/scai1993.html#NossumG93