Modal logics with Rosser modalities are discussed. Alternative axioms involving these symbols that are sound w.r.t. generalized proof predicates are presented.
