Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences - Arnold Beckmann (Journal of Logic and Computation, 2014)