Jankowski A. AGL: actionable granular logic for verifiable specifications and reasoningin AI decision–action systems. ts [Internet]. 2025 Dec. 22 [cited 2026 Jan. 11];. Available from: https://czasopisma.uwm.edu.pl/index.php/ts/article/view/12175