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

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

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

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

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