Hypersequent calculi for propositional default logics
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 140378 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 1503641 (Why is no real title available?)
- scientific article; zbMATH DE number 3241254 (Why is no real title available?)
- scientific article; zbMATH DE number 2239772 (Why is no real title available?)
- scientific article; zbMATH DE number 7669420 (Why is no real title available?)
- A logic for default reasoning
- A logical calculus for controlled monotonicity
- A nonmonotonic proof theory for dialectical argumentation under bounded resources
- A proof theoretical approach to default reasoning I: tableaux for default logic
- Abduction as deductive saturation: a proof-theoretic inquiry
- Alternative approaches to default logic
- Alternative foundations for Reiter's default logic
- An analytic calculus for the intuitionistic logic of proofs
- Analytic tableaux for default logics
- Analyticity with extra-logical information
- Characterizing Belnap's Logic via De Morgan's Laws
- Cumulative default logic: In defense of nonmonotonic inference rules
- Cut Elimination in the Presence of Axioms
- Cut-elimination and deductive polarization in complementary classical logic
- Default reasoning by deductive planning
- Default theories that always have extensions
- Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
- Fractional semantics for classical logic
- Gentzen-type systems, resolution and tableaux
- Hypersequents, logical consequence and intermediate logics for concurrency
- Linear logic
- Linear logic in a refutational setting
- Proof-complexity results for nonmonotonic reasoning
- Reasoning with stratified default theories
- Refutation systems in modal logic
- Refutation systems: an overview and some applications to philosophical logics
- Sequent calculi for propositional nonmonotonic logics
- Unifying logics via context-sensitiveness
- Uniqueness of axiomatic extensions of cut-free classical propositional logic
This page was built for publication: Hypersequent calculi for propositional default logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6939166)
