 So depending on the properties we are interested in, different extensions of basic modal logic combined with different forms of validity (at a world vs model vs frame) are best-suited to express them.