Mechanizing metatheory in a logical framework.

Robert Harper Daniel R. Licata

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

Keyphrases

logical framework
reasoning tasks
inference rules
belief revision
epistemic logic
possibilistic logic
higher order logic
linear logic
normative systems
multi agent systems
relational databases
attribute values
first order logic
automated reasoning
argumentation frameworks
coalition logic