Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
<|reference_start|>Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning: We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered, and we study their complexity.<|reference_end|>
@article{giordano2006analytic,
    title={Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning},
    author={Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca
  Pozzato},
    journal={arXiv preprint arXiv:cs/0611046},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0611046},
    primaryClass={cs.LO cs.AI}
}