TY  - RPRT
TI  - Historical/temporal necessities/possibilities, and a logical theory of them in branching time
AU  - Fengkui Ju
AU  - Woxuan Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2208.11922
ID  - 2208.11922
ER  -