Sequent calculi for choice logics
From MaRDI portal
Publication:6552502
Cites work
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 7455717 (Why is no real title available?)
- scientific article; zbMATH DE number 3066797 (Why is no real title available?)
- A logic for default reasoning
- A logical characterization of the preferred models of logic programs with ordered disjunction
- An alert correlation approach based on security operator's knowledge and preferences
- 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
- Nonmonotonic reasoning, preferential models and cumulative logics
- Qualitative choice logic
- Semantical considerations on nonmonotonic logic
- Sequent calculi for choice logics
- Sequent calculi for propositional nonmonotonic logics
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
- Systematization of finite many-valued logics through the method of tableaux
- Theory of rejected propositions. I
- Towards a gradual QCL model for database querying
- Truth and Preferences -- A Game Approach for Qualitative Choice Logic
- Two alternatives for handling preferences in qualitative choice logic
- Validity in choice logics. A game-theoretic investigation
- What does a conditional knowledge base entail?
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)
