THF0 - The Core of the TPTP Language for Higher-Order Logic.

Christoph Benzmüller Florian Rabe Geoff Sutcliffe

Published in: IJCAR (2008)

Keyphrases

higher order logic
conditional logic
higher order
theorem prover
belief revision
default reasoning
logical framework
programming language
automated theorem proving
nonmonotonic reasoning
natural language
pairwise
data model
modal logic
desirable properties
theorem proving