1 citations · 2 across the 12 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2022
A logical theory for conditional weak ontic necessity based on context update
Fengkui Ju
Weak ontic necessity is the ontic necessity expressed by ``should'' or ``ought to'' in English. An example of it is ``I should be dead by now''. A feature of this necessity is whet…
cs.CL2022
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…