t1 $t2 (R t1,t2) Бесконечность в будущее

1. "t1 $t2 (R t1,t2) Бесконечность в будущее

Kt + GA É FA

2. "t1 $t2 (R t2,t1) Бесконечность в прошлое

Kt + НA É PA

3. "t1 "t2 "t3 ((R t1,t2) & (R t2,t3)) É (R t1,t3) Транзитивность

Kt + GA É GGA

НA É HHA

4. "t1 "t2 (R t1,t2) É $t3 ((R t1,t3)& (R t3,t2)) Плотность(между 2 любыми моментами времени можно найти 3-ий)

Kt + GGA É GA

НHA É HA

5. "t1 "t2 "t3 ((R t1,t2) & (R t1,t3)) É (R(t2,t3) Ú R (t3,t2) Ú t2=t3) Линейность времени в будущем

Kt + (FA&FB) É (F(A&FB) Ú F(B&FA) Ú F(A&B))

6. "t1 "t2 "t3 ((R t2,t1) & (R t3,t1)) É (R(t3,t2) Ú R (t2,t3) Ú t2=t3) Линейность времени в прошлом

Kt + (PA&PB) É (P(A&PB) Ú P(B&PA) Ú P(A&B))

7. "t Ø R (t,t) Антирефлексивность(не приводит к расширению класса законов)