scientific article; zbMATH DE number 922622
From MaRDI portal
Publication:4893142
zbMath0854.03010MaRDI QIDQ4893142
Publication date: 13 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional modal logictransformation of modal formulas into first-order formulasuniform theorem proving tableau method
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
This page was built for publication:
