Optimal Tableaux for Conditional Logics with Cautious Monotonicity

@inproceedings{Schrder2010OptimalTF,
  title={Optimal Tableaux for Conditional Logics with Cautious Monotonicity},
  author={Lutz Schr{\"o}der and Dirk Pattinson and Daniel Hausmann},
  booktitle={ECAI},
  year={2010}
}
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There is a wide range of axiomatizations of conditionals in the literature, from weak systems such as the basic conditional logic CK, which allows only for equivalent exchange of conditional antecedents, to strong systems such as Burgess’ system S, which imposes the full Kraus-LehmannMagidor properties of preferential logic… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…