Vitezslav Svejdar Modal Analysis of Generalized Rosser Sentences. 986-999 1983 48 J. Symb. Log. 4 db/journals/jsyml/jsyml48.html#Svejdar83