Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.
Brigitte PientkaPublished in: TPHOLs (2007)
Keyphrases
- logical framework
- higher order logic
- higher order
- belief revision
- linear logic
- inference rules
- theorem prover
- reasoning tasks
- belief change
- propositional logic
- epistemic logic
- pairwise
- normative systems
- causal models
- general purpose
- conditional logic
- machine learning
- theorem proving
- modal logic
- sufficient conditions
- data model
- high level