Linear temporal logic query

mdmd

New member
Joined
Dec 28, 2015
Messages
1
I am looking to formally describe with linear temporal logic a situation in which γ(X) is true until it is not, i.e. ¬γ(X).
I have the following and would be grateful for your review:
(¬γ(X)) ∪ (γ(X))
definitions:
(B ∪ C)(γ) = (∃i: C (γi) ∧ ( ∀j < i:B(γj)))
B= ¬ γ (X)
C = γ (X)
 
Top