Decalf: A Directed, Effectful Cost-Aware Logical Framework.

Harrison Grodin Robert Harper Yue Niu Jonathan Sterling

Published in: CoRR (2023)

Keyphrases

logical framework
belief revision
inference rules
reasoning tasks
linear logic
possibilistic logic
epistemic logic
dynamic programming
normative systems
higher order logic
artificial intelligence
decision making
multi agent
special case
general purpose
coalition logic