Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.
Marianna GirlandoBjörn LellmannNicola OlivettiGian Luca PozzatoPublished in: TABLEAUX (2017)
Keyphrases
- conditional logic
- sequent calculi
- default reasoning
- belief revision
- nonmonotonic reasoning
- higher order logic
- nonmonotonic inference
- modal logic
- knowledge representation and reasoning
- artificial intelligence
- knowledge base
- dynamic environments
- temporal logic
- probabilistic logic
- logic programming
- multi dimensional
- pairwise
- search algorithm
- bayesian networks