A Logical Framework for Understanding Why.

Published in: ESSLLI Student Sessions (2021)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
higher order logic
possibilistic logic
linear logic
epistemic logic
high level