On the existence of a modal-logical basis for monadic second-order logic

Lauri Hella, Tero Tulenheimo. On the existence of a modal-logical basis for monadic second-order logic. Journal of Logic and Computation, 23(1):157-180, 2013. [doi]

Abstract

Abstract is missing.