How to know if a logical formula is true in this given Kripke model?

Question

I have the following Kripke model:

P = {green,red]}

Bertus and Anna are the agents.

I have to check if some logical formulas are true on world w