Algebraic polymodal logic: a survey (2000)

by R Goldblatt
Venue:Logic Journal of IGPL