scientific article; zbMATH DE number 4128785

zbMATH Open0689.03005MaRDI QIDQ4207883FDOQ4207883

Authors: Nail Zamov 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 1880278
• scientific article; zbMATH DE number 970623
• The recursive resolution method for modal logic
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• Modal resolution in clausal form

zbMATH Keywords

modal logicresolution methoddecision algorithmassociative unificationmodal propositional logic S4ordering search strategy

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited In (15)

• Modal Ecthesis
• Title not available (Why is that?)
• The recursive resolution method for modal logic
• Linear strategy for propositional modal resolution
• A tableau-like proof procedure for normal modal logics
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal resolution in clausal form
• Title not available (Why is that?)
• First-order resolution methods for modal logics
• Resolution decision procedures
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q4207883)