Semantical Correspondence Properties of Some Modal Systems of Logic

Rolf Nossum, Dov M. Gabbay. Semantical Correspondence Properties of Some Modal Systems of Logic. In SCAI. pages 10-19, 1993.

Abstract

Abstract is missing.