Valentin Goranko, Temporal Logics