Bounded variable logics: two, three, and more

Martin Otto. Bounded variable logics: two, three, and more. Arch. Math. Log., 38(4-5):235-256, 1999. [doi]

Abstract

Abstract is missing.