A sequent calculus for skeptical Default Logic

DOI10.1007/BFB0027408zbMath1415.03054OpenAlexW1506700997MaRDI QIDQ4610318

Nicola Olivetti, Piero A. Bonatti

Publication date: 15 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Rule Calculus: Semantics, Axioms and Applications ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Alternative foundations for Reiter's default logic ⋮ Reasoning with infinite stable models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tableaux and sequent calculus for minimal entailment
• The method of axiomatic rejection for the intuitionistic propositional logic
• On the relation between default and autoepistemic logic
• A circumscriptive theorem prover
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• A formal system for the non-theorems of the propositional calculus
• Tableau-based characterization and theorem proving for default logic
• Autoepistemic logic programming
• Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
• A new methodology for query answering in default logics via structure-oriented theorem proving
• All I know: A study in autoepistemic logic
• Theory of rejected propositions. I
• Mixed integer programming methods for computing nonmonotonic deductive databases
• Sequent calculi for default and autoepistemic logics
• A proof theoretical approach to default reasoning I: tableaux for default logic

This page was built for publication: A sequent calculus for skeptical Default Logic