Nondeterministic first-order T-BAT logic. - Pawel Pawlowski; Laura Katherin Jimenez-Cuadros (Log. J. IGPL, 2026)