Superposition for Full Higher-order Logic.

Alexander Bentkamp Jasmin Blanchette Sophie Tourret Petar Vukmirovic

Published in: CADE (2021)

Keyphrases

higher order logic
higher order
theorem prover
theorem proving
conditional logic
logical framework
first order logic
belief revision
nonmonotonic reasoning
default reasoning
evolutionary algorithm
modal logic
automated reasoning