El propio desarrollo de Lewis de lógicas modales múltiples es un buen ejemplo.