A new extension of S4

Robert Goldblatt. A new extension of S4. Notre Dame Journal of Formal Logic, 14(4):567-574, 1973. [doi]

Abstract

Abstract is missing.