scientific article; zbMATH DE number 1763647

MaRDI QIDQ4539149zbMATH OpenFDO

Authors Jigui Sun, Xuhua Liu

Publication date 4 July 2002

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4066840
• Resolution for some first-order modal systems
• Publication:4207883
• scientific article; zbMATH DE number 3932427
• Strategies for modal resolution: Results and problems

Cited in

(4)

• Solving the \$100 modal logic challenge
• scientific article; zbMATH DE number 1763627 (Why is no real title available?)
• Strategies for modal resolution: Results and problems
• scientific article; zbMATH DE number 4066840 (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 Q4539149)