scientific article; zbMATH DE number 77919
From MaRDI portal
Publication:4016032
Recommendations
- Resolution principles in possibilistic logic
- A resolution principle for constrained logics
- A resolution principle for a logic with restricted quantifiers
- Resolution-based methods for modal logics
- Publication:3030269
- Resolution in modal, description and hybrid logic
- Extending resolution to resolution logics
- scientific article; zbMATH DE number 683345
- scientific article; zbMATH DE number 2222011
- scientific article; zbMATH DE number 1088191
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)