Modal Frame Correspondence Generalized
Johan van Benthem

Abstract: