2024. Infinitary logic in the finite. The Reasoner. 16, 7 (Jul. 2024).