Temporal Logics | lit.salon