de Florio, C.; Frigerio, A.; Mancini, F. Modeling Radical Indeterminacy in Branching Time Semantics. LogicPhilTime 2026, 7, 1-20.