Cylindric modal logic - Venema, Yde (Dep. of Philos., 1993)