Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.
Marianna GirlandoSara NegriNicola OlivettiPublished in: CoRR (2020)
Keyphrases
- conditional logic
- sequent calculi
- default reasoning
- higher order logic
- nonmonotonic reasoning
- belief revision
- defeasible reasoning
- modal logic
- nonmonotonic inference
- possibility theory
- knowledge representation and reasoning
- logic programming
- default logic
- higher order
- sound and complete axiomatization
- machine learning
- probabilistic logic
- pairwise