{A Logic-Based Calculus of Events}