Login / Signup

Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.

Ramana KumarRob ArthanMagnus O. MyreenScott Owens
Published in: J. Autom. Reason. (2016)
Keyphrases
  • higher order logic
  • higher order
  • conditional logic
  • theorem prover
  • logical framework
  • first order logic
  • multi agent
  • data representation
  • theorem proving
  • nonmonotonic reasoning