The recursive resolution method for modal logic

DOI10.1007/BF03037397MaRDI QIDQ1104915zbMATH OpenFDO

Authors Man-chung Chan

Publication date 1987

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF03037397

zbMATH Keywords

modal logicmodal normal formmodal resolvabilityRecursive ResolutionS4Skolem operatorstransformation process for modal clauses

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 4128785
• scientific article; zbMATH DE number 1880278
• Modal resolution in clausal form
• Linear strategy for propositional modal resolution
• scientific article; zbMATH DE number 4055570

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3114382 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Methods for Automated Theorem Proving in Nonclassical Logics
• Theorem-Proving on the Computer

Cited in

(13)

• MOLOG: A system that extends PROLOG with modal logic
• Linear strategy for propositional modal resolution
• A resolution framework for finitely-valued first-order logics
• A tableau-like proof procedure for normal modal logics
• scientific article; zbMATH DE number 4018413 (Why is no real title available?)
• scientific article; zbMATH DE number 5295699 (Why is no real title available?)
• scientific article; zbMATH DE number 4128785 (Why is no real title available?)
• Resolution-based methods for modal logics
• scientific article; zbMATH DE number 1880278 (Why is no real title available?)
• Modal Resolution
• Resolution calculi for non-normal modal logics
• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
• Non-iterative modal resolution calculi

This page was built for publication: The recursive resolution method for modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104915)