scientific article; zbMATH DE number 4128785

MaRDI QIDQ4207883zbMATH OpenFDO

Authors Nail Zamov

Publication date 1989

zbMATH Keywords

associative unificationdecision algorithmmodal logicmodal propositional logic S4ordering search strategyresolution method

Mathematics Subject Classification ID

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

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

(17)

• The recursive resolution method for modal logic
• Linear strategy for propositional modal resolution
• Modal resolution in clausal form
• A tableau-like proof procedure for normal modal logics
• Efficient local reductions to basic modal logic
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• Resolution decision procedures
• scientific article; zbMATH DE number 3902618 (Why is no real title available?)
• scientific article; zbMATH DE number 3932427 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• Modal Ecthesis
• scientific article; zbMATH DE number 517002 (Why is no real title available?)
• scientific article; zbMATH DE number 1735878 (Why is no real title available?)
• scientific article; zbMATH DE number 1763647 (Why is no real title available?)
• scientific article; zbMATH DE number 1880278 (Why is no real title available?)
• First-order resolution methods for modal logics
• scientific article; zbMATH DE number 970623 (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)