The recursive resolution method for modal logic

DOI10.1007/BF03037397zbMath0648.03005MaRDI QIDQ1104915

Man-chung Chan

Publication date: 1987

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

zbMATH Keywords

modal logicS4modal normal formmodal resolvabilityRecursive ResolutionSkolem operatorstransformation process for modal clauses

Mathematics Subject Classification ID

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

Related Items (2)

A resolution framework for finitely-valued first-order logics ⋮ A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theorem-Proving on the Computer
• Methods for Automated Theorem Proving in Nonclassical Logics
• A Machine-Oriented Logic Based on the Resolution Principle

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