Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

  title={Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning},
  author={Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato},
  journal={ACM Trans. Comput. Log.},
We present tableau calculi for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). 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. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
11 Citations
6 References
Similar Papers

Similar Papers

Loading similar papers…