COM2107 LTL

0.0(0)
Studied by 0 people
call kaiCall Kai
Locked
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/12

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 3:48 PM on 6/1/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai
Chat

No analytics yet

Send a link to your students to track their progress

13 Terms

1
New cards

Xφ

φ holds from the next state in π

2
New cards

Fφ

φ holds eventually in π

3
New cards

Gφ

φ always holds in

4
New cards

φUΨ

φ holds along π until Ψ

5
New cards

φWΨ

Either φUΨ or Gφ
(aka Weak φ)

6
New cards

¬Xφ ≡ ?

X¬φ

7
New cards

¬Gφ ≡ ?

F¬φ

8
New cards

¬Fφ ≡ ?

G¬φ

9
New cards

F(φ v Ψ) ≡ ?

Fφ v FΨ

10
New cards

G(φ ^ Ψ) ≡ ?

Gφ ^ GΨ

11
New cards

Fφ ≡ ?

⊤Uφ

12
New cards

Gφ ≡ ?

¬(⊤U¬φ)

13
New cards

φUΨ ≡ ?

Ψ v (φ ^ X(φUΨ))