Is There Still Logic in Bolzano's Key? Johan van Benthem Abstract: Bernard Bolzano's logical system still has quite relevant features today. We discuss three of these: general styles of reasoning and their structural properties, the role of vocabulary in inference, and local consequence inside models. Keywords: Bolzano, consequence, structural rules, logical constants, interpolation