Login / Signup

A Proof-theoretic View of Necessity.

Reinhard Kahle
Published in: Synth. (2006)
Keyphrases
  • proof theoretic
  • nonmonotonic reasoning
  • constraint logic programming
  • linear logic
  • default reasoning
  • fixpoint
  • proof theory
  • expert systems
  • logic programming
  • answer set programming
  • model theoretic