A Type Checker for a Logical Framework with Union and Intersection Types.

Luigi Liquori Claude Stolze

Published in: CoRR (2020)

Keyphrases

logical framework
belief revision
inference rules
multiple types
reasoning tasks
epistemic logic
normative systems
linear logic
higher order logic
dynamic programming