scientific article
From MaRDI portal
Publication:4016032
zbMATH Open0792.68163MaRDI QIDQ4016032
Publication date: 16 December 1992
Title of this publication is not available (Why is that?)
theorem provingresolution principlerefutationnecessity measurepossibility measureuncertain proposition
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Resolution principles in possibilistic logic π π
- A resolution principle for constrained logics π π
- A resolution principle for a logic with restricted quantifiers π π
- Resolution in modal, description and hybrid logic π π
- Extending resolution to resolution logics π π
- Resolution-based methods for modal logics π π
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016032)