2026. Mathematical Logic as a Foundation for AI-Driven Decision-Making Systems. Smart Human-centered Emerging Research in Machine Intelligence. 2, 1 (Apr. 2026), 14–25.