2024. Logic for the new AI spring, 12-16 September. The Reasoner. 16, 8 (Jul. 2024).