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

Harrison Grodin Yue Niu Jonathan Sterling Robert Harper

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

logical framework
inference rules
epistemic logic
belief revision
reasoning tasks
linear logic
possibilistic logic
higher order logic
multi dimensional
artificial intelligence
reinforcement learning
software engineering
normative systems