Sequent calculi for choice logics
From MaRDI portal
Publication:6552502
DOI10.1007/S10817-024-09695-5MaRDI QIDQ6552502FDOQ6552502
Authors: Michael Bernreiter, Anela Lolic, Jan Malý, Stefan Woltran 
Publication date: 10 June 2024
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
preferencessequent calculusrefutation systemsnonmonotonic logicschoice logicsantisequentspreferred model entailment
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Title not available (Why is that?)
- What does a conditional knowledge base entail?
- 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?)
- Qualitative choice logic
- Two alternatives for handling preferences in qualitative choice logic
- Systematization of finite many-valued logics through the method of tableaux
- Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
- Sequent calculi for propositional nonmonotonic logics
- Choice logics and their computational properties
- An alert correlation approach based on security operator's knowledge and preferences
- Calculi for many-valued logics
- A logical characterization of the preferred models of logic programs with ordered disjunction
- Finite-valued semantics for canonical labelled calculi
- Towards a gradual QCL model for database querying
- Sequent calculi for choice logics
- Title not available (Why is that?)
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
- Validity in choice logics. A game-theoretic investigation
- Truth and Preferences -- A Game Approach for Qualitative Choice Logic
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 Q6552502)
