Login / Signup
Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism.
Fengkui Ju
Published in:
CoRR (2024)
Keyphrases
</>
epistemic logic
long term
modal logic
conditional logic
historical information
probabilistic model
temporal logic
data sets
artificial intelligence
logic programming