 A normal modal logic can be interpreted in structures of the form \(M = ((W, R'_1, \ldots, R'_n, \ldots), V)\), where each \(R'_i\) is a principal  filter[3]  or, alternatively, it is of the form \(R'_i: W \to 2^{W}\).