We investigate properties of prepositional modal logic over the class of finite structures. In particular, we show that certain known preservation theorems remain true over this class. We prove that a ...