Correction note to "Proof theory for non-normal modal logics: The neighbourhood formalism".
Sara NegriPublished in: FLAP (2017)
Keyphrases
- modal logic
- proof theory
- decision procedures
- default reasoning
- automated reasoning
- reasoning problems
- default logic
- situation calculus
- modal operators
- knowledge representation
- inference rules
- temporal logic
- probabilistic reasoning
- nonmonotonic logics
- classical logic
- cp nets
- nonmonotonic reasoning
- logical framework
- search algorithm
- computational properties
- artificial intelligence
- belief revision