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

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