A Logic-Based, Reactive Calculus of Events