Sequent calculi for default and autoepistemic logics

DOI10.1007/3-540-61208-4_9zbMATH Open1415.03055OpenAlexW1586926492MaRDI QIDQ4645232FDOQ4645232

Authors: P. A. Bonatti 

Publication date: 10 January 2019

Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61208-4_9

Recommendations

• Sequent calculi for propositional nonmonotonic logics
• A sequent calculus for skeptical Default Logic
• Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
• Axiomatization of credulous reasoning in rational default logic
• The complexity of theorem proving in autoepistemic logic

zbMATH Keywords

nonmonotonic reasoningsequent calculusinference ruledefault logicdefault theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Theory of rejected propositions. I
• Title not available (Why is that?)
• A logic for default reasoning
• Semantical considerations on nonmonotonic logic
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• All I know: A study in autoepistemic logic
• Transition system specifications with negative premises
• The method of axiomatic rejection for the intuitionistic propositional logic
• Tableau-based characterization and theorem proving for default logic
• A proof theoretical approach to default reasoning I: tableaux for default logic
• Title not available (Why is that?)
• Tableaux and sequent calculus for minimal entailment
• A circumscriptive theorem prover
• Title not available (Why is that?)
• A formal system for the non-theorems of the propositional calculus
• Title not available (Why is that?)
• Autoepistemic logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (17)

• Uniform semantic treatment of default and autoepistemic logics
• A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur
• Refutation systems: an overview and some applications to philosophical logics
• Alternative foundations for Reiter's default logic
• Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• A sequent calculus for skeptical Default Logic
• Sequent calculi for propositional nonmonotonic logics
• Sequent-type rejection systems for finite-valued non-deterministic logics
• Prolog technology for default reasoning: proof theory and compilation techniques
• A nonmonotonic modal relevant sequent calculus
• Proof complexity of propositional default logic
• Proof complexity of propositional default logic
• Title not available (Why is that?)
• Axiomatization of credulous reasoning in rational default logic
• A sequent calculus for skeptical reasoning in predicate default logic (extended abstract)
• The complexity of theorem proving in autoepistemic logic

This page was built for publication: Sequent calculi for default and autoepistemic logics

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