scientific article; zbMATH DE number 970623

zbMATH Open0869.03010MaRDI QIDQ5688802FDOQ5688802

Authors: Vladimir Orevkov, Tanel Tammet, G. E. Mints 

Publication date: 16 March 1997

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4207883
• scientific article; zbMATH DE number 1880278
• Linear strategy for propositional modal resolution
• Strategies for modal resolution: Results and problems

zbMATH Keywords

theorem provingresolution calculusresolution refutationsmodal logic S4search strategiescut-free Gentzen-type derivations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Title not available (Why is that?)
• Path calculus in the modal logic S4
• Title not available (Why is that?)

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 Q5688802)