Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

DOI10.1145/1507244.1507248zbMath1351.03004arXivcs/0611046OpenAlexW2132059708WikidataQ58207613 ScholiaQ58207613MaRDI QIDQ2946576

Nicola Olivetti, Laura Giordano, Gian Luca Pozzato, Valentina Gliozzi

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) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items

A note on a description logic of concept and role typicality for defeasible reasoning over ontologies, From input/output logics to conditional logics via sequents -- with provers, A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics, Nested Sequent Calculi for Conditional Logics, Sequent Systems for Lewis’ Conditional Logics, In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals, Defeasible linear temporal logic, Semantic characterization of rational closure: from propositional logic to description logics, Unnamed Item, From KLM-style conditionals to defeasible modalities, and back, On rational entailment for propositional typicality logic, A reconstruction of multipreference closure, Typicalities and probabilities of exceptions in nonmotonic description logics