Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

Details Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

2006-11-10

arxiv.org/abs/cs/0611046v1

Computer Science

Logic in Computer Science

54 pages + appendix with proofs

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-566194