C. de Florio, A. Frigerio, and F. Mancini, “Modeling Radical Indeterminacy in Branching Time Semantics”, LogicPhilTime, vol. 7, no. 1, pp. 1–20, Feb. 2026.