Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

DOI10.1093/LOGCOM/12.6.1027MaRDI QIDQ4796462zbMATH OpenOpenAlexWikidataFDO

Authors Alberto Artosi, Guido Governatori, Antonino Rotolo

Publication date 24 March 2003

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://espace.library.uq.edu.au/view/UQ:9608/cumulative.pdf

zbMATH Keywords

conditional logicnonmonotonic consequence relationslabelled proof method

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1612544
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Non-cumulative reasoning: rules and models
• scientific article; zbMATH DE number 4166940
• Nonmonotonic reasoning, preferential models and cumulative logics

Cited in

(5)

• scientific article; zbMATH DE number 1612544 (Why is no real title available?)
• Natural deduction calculi and sequent calculi for counterfactual logics
• Nested sequent calculi for conditional logics
• Semantic Labelled Tableaux for Propositional BI
• Theorem proving for conditional logics: CondLean and GOALDUCK

Describes a project that uses

Uses Software

• ModLeanTAP

This page was built for publication: Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

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