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)

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