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

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

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

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

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