Sequent calculi for choice logics
From MaRDI portal
Publication:2104520
DOI10.1007/978-3-031-10769-6_20OpenAlexW4289104045MaRDI QIDQ2104520FDOQ2104520
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
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
- 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
- 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
- Calculi for many-valued logics
- Finite-valued semantics for canonical labelled calculi
- Towards a Gradual QCL Model for Database Querying
- Title not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- Sequent calculi for choice logics
- Title not available (Why is that?)
- Extended semantics and inference for the Independent Choice Logic
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Finite sequent calculi for PLTL
- A Focused Sequent Calculus for Higher-Order Logic
- Title not available (Why is that?)
- Consistent disjunctive sequent calculi and Scott domains
- Validity in choice logics. A game-theoretic investigation
- A representation of proper BC domains based on conjunctive sequent calculi
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)
