The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.
Marianna GirlandoSara NegriNicola OlivettiVincent RischPublished in: Advances in Modal Logic (2016)
Keyphrases
- sequent calculus
- modal logic
- conditional logic
- modal operators
- cut elimination
- inference rules
- propositional dynamic logic
- linear time temporal logic
- linear logic
- belief revision
- epistemic logic
- temporal logic
- nonmonotonic logics
- dynamic logic
- natural deduction
- epistemic states
- logical framework
- proof theory
- classical logic
- logic programming
- default reasoning
- sound and complete axiomatization
- wide class
- proof search
- autoepistemic logic
- nonmonotonic reasoning
- model checking
- propositional logic
- sufficient conditions
- description logics
- software engineering
- cp nets
- artificial intelligence
- formal semantics
- theorem proving