Sequent calculi for choice logics

DOI10.1007/978-3-031-10769-6_20MaRDI QIDQ2104520OpenAlexFDO

Authors Michael Bernreiter, Anela Lolic, Jan Malý, Stefan Woltran

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-10769-6_20

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Sequent calculi for propositional nonmonotonic logics
• A sequent calculus for a logic of contingencies
• Choice logics and their computational properties
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
• Sequent calculi for Visser's propositional logics
• scientific article; zbMATH DE number 2058984
• Sequent Calculi for Some Strict Implication Logics
• scientific article; zbMATH DE number 218517
• Sequent calculus for hybrid logic
• A sequent calculus and a theorem prover for standard conditional logics

Cites work

• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 7455717 (Why is no real title available?)
• A logic for default reasoning
• Calculi for many-valued logics
• Choice logics and their computational properties
• Circumscription - a form of non-monotonic reasoning
• Finite-valued semantics for canonical labelled calculi
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• Qualitative choice logic
• Semantical considerations on nonmonotonic logic
• Sequent calculi for propositional nonmonotonic logics
• Systematization of finite many-valued logics through the method of tableaux
• Towards a gradual QCL model for database querying

Cited in

(11)

• Extended semantics and inference for the Independent Choice Logic
• scientific article; zbMATH DE number 3296225 (Why is no real title available?)
• Consistent disjunctive sequent calculi and Scott domains
• A representation of proper BC domains based on conjunctive sequent calculi
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• Finite sequent calculi for PLTL
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• A Focused Sequent Calculus for Higher-Order Logic
• Validity in choice logics. A game-theoretic investigation
• scientific article; zbMATH DE number 7594103 (Why is no real title available?)
• Sequent calculi for choice logics

This page was built for publication: Sequent calculi for choice logics

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