On Reductions of Hintikka Sets for Higher-Order Logic.

Alexander Steen Christoph Benzmüller

Published in: CoRR (2020)

Keyphrases

higher order logic
higher order
conditional logic
theorem prover
logical framework
machine learning
multi agent