Signal Logics