Trace-Logic