Quali semantiche di tempo esistono? quali assiomi rispettano?

Semantica temporale debole : - A1 Monotonicità rispetto alla marcatura iniziale - A3 Divergenza del tempo semantica temporale monotonica debole + A2 Monotonicità dei tempi di scatto di una sequenza semantica temporale forte + A4 Marcatura forte iniziale + A5 Sequenza di scatti forte semantica temporale mista - diverse semantiche per diversi posti della rete