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