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

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

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

\(\Box r\)
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.