Modaalilogiikan määrittelystä