Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

Open in new window