Frank Wolter Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. 131-158 1997 62 J. Symb. Log. 1 db/journals/jsyml/jsyml62.html#Wolter97