Sign in
A Logical Framework for Understanding Why.
Yu Wei
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