 to system T. Lewis’s systems S1, S2, and S3 are non-normal given that they do not contain the rule of Necessitation. For the relationship between these (and other) systems, and the conditions on frames that the axioms impose, consult the SEP entry on  modal logic.