: a lambda-free logical framework.

Published in: J. Funct. Program. (2003)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
normative systems
higher order logic
epistemic logic
linear logic
higher order
possibilistic logic
argumentation frameworks
machine learning
fixed point
coalition logic