Representing Unification in a Logical Framework.

Jason Brown Lincoln A. Wallen

Published in: CSL (1995)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
theorem proving
higher order logic
theorem prover
linear logic
higher order
epistemic logic
normative systems
temporal reasoning
possibilistic logic
decision making