A Logical Framework with Infinitary Terms.

Published in: CoRR (2023)

Keyphrases

logical framework
belief revision
reasoning tasks
linear logic
bayesian networks
probabilistic model
contextual information
inference rules
epistemic logic
higher order logic