Quantified Conditional Logics are Fragments of HOL
Christoph BenzmuellerValerio GenovesePublished in: CoRR (2012)
Keyphrases
- higher order logic
- conditional logic
- higher order
- default reasoning
- belief revision
- theorem prover
- nonmonotonic reasoning
- modal logic
- logical framework
- nonmonotonic inference
- knowledge representation and reasoning
- multi dimensional
- data representation
- knowledge base
- conditional random fields
- formal methods
- logic programming
- sound and complete axiomatization