Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic.

Sreeranga P. Rajan

Published in: TPHOLs (1992)

Keyphrases

higher order logic
higher order
conditional logic
theorem prover
logical framework
belief revision
automated reasoning
default reasoning
genetic programming
nonmonotonic reasoning
pairwise
first order logic
decision problems
inference rules
decision trees
specification language
control flow
general purpose