Tableaux and sequent calculus for minimal entailment

DOI10.1007/BF00247828zbMATH Open0795.03033OpenAlexW2014810198MaRDI QIDQ688552FDOQ688552

Authors: N. Olivetti 

Publication date: 1 September 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00247828

Recommendations

• A tableau prover for domain minimization
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• A uniform tableaux method for nonmonotonic modal logics
• A nonmonotonic extension of KLM preferential logic P
• scientific article; zbMATH DE number 1612562

zbMATH Keywords

nonmonotonic reasoningsemantic tableauxdynamic minimal entailmentExtended Closed World Assumptionformalization of the nonmonotonic minimal entailment relationGentzen's sequent calculusVariable Circumscription

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Cited In (13)

• A tableau calculus for minimal model reasoning
• Minimal model generation with positive unit hyper-resolution tableaux
• Title not available (Why is that?)
• A uniform tableaux method for nonmonotonic modal logics
• Reasoning with infinite stable models
• ASP for minimal entailment in a rational extension of SROEL
• First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
• A sequent calculus for skeptical Default Logic
• Sequent calculi for default and autoepistemic logics
• A nonmonotonic extension of KLM preferential logic P
• A tableau prover for domain minimization
• Entailment, transmission of truth, and minimality
• Tableau-based characterization and theorem proving for default logic

This page was built for publication: Tableaux and sequent calculus for minimal entailment

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