Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

Arnold Beckmann, Norbert Preining. Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences. Journal of Logic and Computation, 25(3):527-547, 2015. [doi]

Abstract

Abstract is missing.