Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

DOI10.1145/1507244.1507248MaRDI QIDQ2946576zbMATH OpenOpenAlexWikidataFDO

Authors N. Olivetti, Laura Giordano, V. Gliozzi, G. L. Pozzato

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/0611046

zbMATH Keywords

nonmonotonic reasoninganalytic tableaux calculi

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Abstract: 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.

Recommendations

• Analytic Tableaux for KLM Preferential and Cumulative Logics
• Analytic Tableau Calculi for KLM Rational Logic R
• A uniform tableaux method for nonmonotonic modal logics
• scientific article; zbMATH DE number 589742
• scientific article; zbMATH DE number 1612544

Cited in

(27)

• Semantic characterization of rational closure: from propositional logic to description logics
• From KLM-style conditionals to defeasible modalities, and back
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• Tableaux and sequent calculus for minimal entailment
• Analytic Tableaux for KLM Preferential and Cumulative Logics
• Typicalities and probabilities of exceptions in nonmotonic description logics
• On rational entailment for propositional typicality logic
• Sequent Systems for Lewis’ Conditional Logics
• A uniform tableaux method for nonmonotonic modal logics
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Tableau calculi for preference-based conditional logics
• scientific article; zbMATH DE number 51460 (Why is no real title available?)
• scientific article; zbMATH DE number 3882420 (Why is no real title available?)
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• From input/output logics to conditional logics via sequents -- with provers
• Defeasible linear temporal logic
• scientific article; zbMATH DE number 1612544 (Why is no real title available?)
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• scientific article; zbMATH DE number 589742 (Why is no real title available?)
• A reconstruction of multipreference closure
• Sequent calculi for propositional nonmonotonic logics
• On the decidability of a fragment of preferential LTL
• Analytic Tableau Calculi for KLM Rational Logic R
• A nonmonotonic extension of KLM preferential logic P
• Optimal tableaux for conditional logics with cautious monotonicity
• Nested sequent calculi for conditional logics

This page was built for publication: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946576)