Synergy User Manual and Tutorial. - THE CORE MEMORY

Synergy User Manual and Tutorial
Spq "q has been true since a time when p was true"
Upq "q will be true until a time when p is true"
Pp ≡ Sp(p∨¬p)
Fp ≡ Up(p∨¬p)
Pp ≡ ∃n(n0 & Fnp)
Hp ≡ ∀n(n0→Fnp)
Op ≡ Up(p&¬p)
Fp ≡ Op ∨ OFp
Pp is true at t if and only if p is true at some time t′ such that t′