scientific article
From MaRDI portal
Publication:3838813
zbMath0909.03014MaRDI QIDQ3838813
Ullrich Hustadt, Renate A. Schmidt
Publication date: 8 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicefficiencysimplificationbackjumpingoptimization techniquesnondeterminism in tableau calculi
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Hyperresolution for guarded formulae ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ A tableaux calculus for default intuitionistic logic
This page was built for publication:
