Mając te operatory, łatwo możemy zdefiniować zachowanie szlabanu kolejowego: – zawsze jeśli pociąg jedzie, to szlaban jest opuszczony. – nigdy nie będzie tak, że szlaban będzie już cały czas opuszczony.
Operatory U i R i pozwalają na umiejscawianie zjawisk w czasie, ale nie dają nam wielu możliwości przedstawiania zależności czasowych pomiędzy zjawiskami. Do tego służą dwa kolejne operatory: – kiedyś nastąpi Do czasu jego pierwszego wystąpienia zawsze będzie – będzie zachodziło tak długo, aż nie zajdzie
Zależności między nimi to:
Używając tych operatorów można przedstawić oraz
Tak więc wszystkie 4 operatory można przedstawić używając jedynie lub jedynie Nie jest to jednak rozwiązanie praktyczne.
Ważniejsze twierdzenia logiki
– Jeśli zawsze z tego że wynika że to jeśli zawsze to zawsze
Czas dyskretny i operator X Podzielmy czas na dyskretne momenty, tak że w każdym momencie stan świata nie ulega zmianie, a przejścia z jednego momentu do drugiego są natychmiastowe.