Tableaux and sequent calculus for minimal entailment
From MaRDI portal
Publication:688552
Recommendations
Cited in
(13)- A tableau prover for domain minimization
- A nonmonotonic extension of KLM preferential logic P
- Entailment, transmission of truth, and minimality
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
- A sequent calculus for skeptical Default Logic
- Reasoning with infinite stable models
- Tableau-based characterization and theorem proving for default logic
- A tableau calculus for minimal model reasoning
- Minimal model generation with positive unit hyper-resolution tableaux
- Sequent calculi for default and autoepistemic logics
- scientific article; zbMATH DE number 1612562 (Why is no real title available?)
- ASP for minimal entailment in a rational extension of SROEL
- A uniform tableaux method for nonmonotonic modal logics
This page was built for publication: Tableaux and sequent calculus for minimal entailment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688552)