\(\Diamond \Box r\)
Select all the states where this formula is true.

\(\Diamond q\)
Select all the states where this formula is true.

\(\Box ( p \mathrel{\rightarrow}r) \)
Select all the states where this formula is true.

\(p\mathrel{\rightarrow} q\)
Select all the states where this formula is true.

\(\Box p\)
Select all the states where this formula is true.