Publication:2751044
From MaRDI portal
zbMath0984.03012MaRDI QIDQ2751044
Renate A. Schmidt, Ullrich Hustadt
Publication date: 21 November 2001
automated theorem proving; proof complexity; multi-modal logic; satisfiability testing; selection refinement; translation-based resolution decision procedure
03B45: Modal logic (including the logic of norms)
03B35: Mechanization of proofs and logical operations
Related Items