logic is exploding into manifold applications, and its core research agenda is expanding