Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds. - Alexandre Le Nepvou (CoRR, 2025)