The Modal Logic of Inner Models
Tanmay Inamdar, Benedikt Löwe

Abstract:
Keywords: modal logic;  second order set theory;  inner models;  cofinal subframe formulas