Cylindric modal logic