Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
From MaRDI portal
Publication:4796462
DOI10.1093/LOGCOM/12.6.1027zbMath1014.03030OpenAlexW2019701567WikidataQ58177138 ScholiaQ58177138MaRDI QIDQ4796462
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
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Nested Sequent Calculi for Conditional Logics ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK
Uses Software
This page was built for publication: Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
