Historical/temporal necessities/possibilities, and a logical theory of them in branching time

Fengkui Ju, Woxuan Zhou

In this paper, we do three kinds of work. First, we recognize four notions of necessity and two notions of possibility related to time flow, namely strong/weak historical/temporal…