scientific article; zbMATH DE number 4128785

MaRDI QIDQ4207883zbMATH OpenFDO

Authors Nail Zamov

Publication date 1989

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)

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

Cited in

(16)

• scientific article; zbMATH DE number 517002 (Why is no real title available?)
• First-order resolution methods for modal logics
• Efficient local reductions to basic modal logic
• scientific article; zbMATH DE number 1763647 (Why is no real title available?)
• The recursive resolution method for modal logic
• scientific article; zbMATH DE number 3902618 (Why is no real title available?)
• Modal resolution in clausal form
• Resolution decision procedures
• 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.
• Modal Ecthesis
• scientific article; zbMATH DE number 1735878 (Why is no real title available?)
• scientific article; zbMATH DE number 1880278 (Why is no real title available?)
• Linear strategy for propositional modal resolution
• scientific article; zbMATH DE number 3932427 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)

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)