Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

DOI10.1145/1507244.1507248zbMATH Open1351.03004arXivcs/0611046OpenAlexW2132059708WikidataQ58207613 ScholiaQ58207613MaRDI QIDQ2946576FDOQ2946576

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)

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.

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

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

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)

Cited In (27)

• From KLM-style conditionals to defeasible modalities, and back
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• Semantic characterization of rational closure: from propositional logic to description logics
• Analytic Tableaux for KLM Preferential and Cumulative Logics
• Tableaux and sequent calculus for minimal entailment
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
• Title not available (Why is that?)
• 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)