scientific article; zbMATH DE number 1763647

zbMATH Open0988.03515MaRDI QIDQ4539149FDOQ4539149

Xuhua Liu, Jigui Sun

Publication date: 4 July 2002

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Strategies for modal resolution: Results and problems
• Solving the \$100 modal logic challenge
• 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 Q4539149)