Hybrid Temporal Logic (HTL)

Casual Mode - Take your time!

1 / 14
✓
Correct
0
✗
Incorrect
0
★
Score
0%
Multiple Choice

Which of the following is a valid HTL formula?

  1. $\Box \Diamond p$
  2. $\Box \Box p$
  3. $\Diamond \Box p$
  4. $\Diamond \Diamond p$
Change Mode