A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.
Sara NegriNicola OlivettiPublished in: TABLEAUX (2015)
Keyphrases
- sequent calculus
- conditional logic
- modal logic
- cut elimination
- inference rules
- linear logic
- logic programming
- logical framework
- knowledge representation
- natural deduction
- default reasoning
- wide class
- proof theory
- conditional probabilities
- preference relations
- nonmonotonic reasoning
- machine learning
- linear time temporal logic