Vladimir V. Rybakov Hereditarily Structurally Complete Modals Logics. 266-288 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#Rybakov95