Login / Signup

Predicate Transformers and Higher Order Logic.

Ralph-Johan BackJoakim von Wright
Published in: REX Workshop (1992)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • first order logic
  • logical framework
  • belief revision
  • modal logic
  • inference rules
  • theorem proving
  • nonmonotonic reasoning
  • default reasoning