Nested sequent calculi for normal conditional logics.
Régis AlendaNicola OlivettiGian Luca PozzatoPublished in: J. Log. Comput. (2016)
Keyphrases
- conditional logic
- sequent calculi
- default reasoning
- belief revision
- nonmonotonic reasoning
- higher order logic
- modal logic
- nonmonotonic inference
- knowledge representation and reasoning
- machine learning
- logic programming
- probabilistic logic
- constraint satisfaction
- incomplete information
- temporal logic
- logical framework
- relational databases
- knowledge base