A Sequent Calculus for Counterfactual Reasoning.
McKenna McCallLay Kuan LohLimin JiaPublished in: PLAS@CCS (2017)
Keyphrases
- sequent calculus
- logical framework
- inference rules
- linear logic
- cut elimination
- causal reasoning
- modal logic
- natural deduction
- reasoning tasks
- automated reasoning
- linear time temporal logic
- knowledge base
- knowledge representation
- computational properties
- default reasoning
- software engineering
- object oriented
- proof search
- bayesian networks
- high level