Logic at the Event Layer