David Gabelaia Modal Systems GL and Grz: Semantical Comparison. 103-110 1999 ESSLLI Student Papers db/conf/esslli/esslli1999.html#Gabelaia99