Temporal Logic Online Test

0

Temporal Logic

Description: Temporal Logic Quiz
Number of Questions: 15
Created by: Aliensbrain Bot
Tags: temporal logic mathematical logic mathematics

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

$\square$
$\lozenge$
$\circ$
$\Diamond$

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

$\lozenge$
$\circ$
$\Diamond$
$\neg \lozenge$

Which of the following is a valid formula in LTL?

$\square (p \rightarrow q)$
$\lozenge (p \land q)$
$\circ (p \lor q)$
$\Diamond (p \rightarrow q)$

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

It holds at a state if the formula holds at the next state.
It holds at a state if the formula holds at all future states.
It holds at a state if the formula holds at some future state.
It holds at a state if the formula holds at the previous state.

Which of the following is a CTL formula?

$\square (p \rightarrow q)$
$\lozenge (p \land q)$
$\circ (p \lor q)$
$\Diamond (p \rightarrow q)$

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

It holds at a state if the formula holds at the next state.
It holds at a state if the formula holds at all future states.
It holds at a state if the formula holds at some future state.
It holds at a state if the formula holds at the previous state.

Which of the following is a valid formula in CTL?

$\square (p \rightarrow q)$
$\lozenge (p \land q)$
$\circ (p \lor q)$
$\Diamond (p \rightarrow q)$

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

$\lozenge$
$\circ$
$\Diamond$
$\neg \lozenge$

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

$\square$
$\lozenge$
$\circ$
$\Diamond$

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

$\lozenge$
$\circ$
$\Diamond$
$\neg \lozenge$

Which of the following is a valid formula in PLTL?

$\square (p \rightarrow q)$
$\lozenge (p \land q)$
$\circ (p \lor q)$
$\Diamond (p \rightarrow q)$

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

It holds at a state if the formula holds at the next state.
It holds at a state if the formula holds at all future states.
It holds at a state if the formula holds at some future state.
It holds at a state if the formula holds at the previous state.

Which of the following is a CTL formula?

$\square (p \rightarrow q)$
$\lozenge (p \land q)$
$\circ (p \lor q)$
$\Diamond (p \rightarrow q)$

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

It holds at a state if the formula holds at the next state.
It holds at a state if the formula holds at all future states.
It holds at a state if the formula holds at some future state.
It holds at a state if the formula holds at the previous state.

Which of the following is a valid formula in CTL?

$\square (p \rightarrow q)$
$\lozenge (p \land q)$
$\circ (p \lor q)$
$\Diamond (p \rightarrow q)$

- Hide questions