🎴 Flashcard Mode
Temporal Logic of Permission (TLP)
Card1 / 15
Mastered0
Review0
QuestionClick to flip
Which of the following is a valid formula in TLP?
AnswerClick to flip back
A
P(a) -> F(a)
💡 Explanation:
In TLP, P(a) -> F(a) is a valid formula because if an action is permitted at some point in time, then it is possible for that action to occur at some point in the future.