Sequent calculi for choice logics

DOI10.1007/978-3-031-10769-6_20OpenAlexW4289104045MaRDI QIDQ2104520

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

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)

Related Items (1)

Validity in choice logics. A game-theoretic investigation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Qualitative choice logic
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Calculi for many-valued logics
• Choice logics and their computational properties
• Finite-valued semantics for canonical labelled calculi
• Systematization of finite many-valued logics through the method of tableaux
• Towards a Gradual QCL Model for Database Querying
• Sequent calculi for propositional nonmonotonic logics

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