Formal Methods in the Epistemology of Religion, 10-12 June. tr 2024, 3 (7).