LARS: A Logic-Based Framework for Analyzing Reasoning over Streams