Cylindric modal logic - Venema, Yde (Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series, 1993)