Halldén-completeness by gluing of Kripke frames

I. L. Humberstone, J. F. A. K. van Benthem. Halldén-completeness by gluing of Kripke frames. Notre Dame Journal of Formal Logic, 24(4):426-430, 1983. [doi]

Abstract

Abstract is missing.