Tense operators on Kleene algebras with intuitionistic negation. - Ismael Calomino; Gustavo Pelaitay; Maia Starobinsky (Log. J. IGPL, 2026)