Home › Quizzes › Temporal Logic

Temporal Logic

Test your knowledge of temporal logic operators, formulas, and semantics in LTL, CTL, and PLTL

15 Questions Published
Play Quiz Practise this topic out loud

Questions

Question 1 Multiple Choice (Single Answer)

Which of the following is a temporal operator in Linear Temporal Logic (LTL)?

  1. $\square$
  2. $\lozenge$
  3. $\circ$
  4. $\Diamond$
Question 2 Multiple Choice (Single Answer)

What is the dual of the temporal operator $\square$ in LTL?

  1. $\lozenge$
  2. $\circ$
  3. $\Diamond$
  4. $\neg \lozenge$
Question 3 Multiple Choice (Single Answer)

Which of the following is a valid formula in LTL?

  1. $\square (p \rightarrow q)$
  2. $\lozenge (p \land q)$
  3. $\circ (p \lor q)$
  4. $\Diamond (p \rightarrow q)$
Question 4 Multiple Choice (Single Answer)

What is the semantics of the temporal operator $\circ$ in LTL?

  1. It holds at a state if the formula holds at the next state.
  2. It holds at a state if the formula holds at all future states.
  3. It holds at a state if the formula holds at some future state.
  4. It holds at a state if the formula holds at the previous state.
Question 5 Multiple Choice (Single Answer)

Which of the following is a CTL formula?

  1. $\square (p \rightarrow q)$
  2. $\lozenge (p \land q)$
  3. $\circ (p \lor q)$
  4. $\Diamond (p \rightarrow q)$
Question 6 Multiple Choice (Single Answer)

What is the semantics of the temporal operator $\Diamond$ in CTL?

  1. It holds at a state if the formula holds at the next state.
  2. It holds at a state if the formula holds at all future states.
  3. It holds at a state if the formula holds at some future state.
  4. It holds at a state if the formula holds at the previous state.
Question 7 Multiple Choice (Single Answer)

Which of the following is a valid formula in CTL?

  1. $\square (p \rightarrow q)$
  2. $\lozenge (p \land q)$
  3. $\circ (p \lor q)$
  4. $\Diamond (p \rightarrow q)$
Question 8 Multiple Choice (Single Answer)

What is the dual of the temporal operator $\square$ in CTL?

  1. $\lozenge$
  2. $\circ$
  3. $\Diamond$
  4. $\neg \lozenge$
Question 9 Multiple Choice (Single Answer)

Which of the following is a temporal operator in Propositional Linear Temporal Logic (PLTL)?

  1. $\square$
  2. $\lozenge$
  3. $\circ$
  4. $\Diamond$
Question 10 Multiple Choice (Single Answer)

What is the dual of the temporal operator $\square$ in PLTL?

  1. $\lozenge$
  2. $\circ$
  3. $\Diamond$
  4. $\neg \lozenge$
Question 11 Multiple Choice (Single Answer)

Which of the following is a valid formula in PLTL?

  1. $\square (p \rightarrow q)$
  2. $\lozenge (p \land q)$
  3. $\circ (p \lor q)$
  4. $\Diamond (p \rightarrow q)$
Question 12 Multiple Choice (Single Answer)

What is the semantics of the temporal operator $\circ$ in PLTL?

  1. It holds at a state if the formula holds at the next state.
  2. It holds at a state if the formula holds at all future states.
  3. It holds at a state if the formula holds at some future state.
  4. It holds at a state if the formula holds at the previous state.
Question 13 Multiple Choice (Single Answer)

Which of the following is a CTL formula?

  1. $\square (p \rightarrow q)$
  2. $\lozenge (p \land q)$
  3. $\circ (p \lor q)$
  4. $\Diamond (p \rightarrow q)$
Question 14 Multiple Choice (Single Answer)

What is the semantics of the temporal operator $\Diamond$ in CTL?

  1. It holds at a state if the formula holds at the next state.
  2. It holds at a state if the formula holds at all future states.
  3. It holds at a state if the formula holds at some future state.
  4. It holds at a state if the formula holds at the previous state.
Question 15 Multiple Choice (Single Answer)

Which of the following is a valid formula in CTL?

  1. $\square (p \rightarrow q)$
  2. $\lozenge (p \land q)$
  3. $\circ (p \lor q)$
  4. $\Diamond (p \rightarrow q)$
← Back to Quizzes