Linear strategy for propositional modal resolution

DOI10.1016/0020-0190(88)90169-XzbMath0662.03006MaRDI QIDQ1113888

Yves Auffray

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

propositional modal logicS4linear modal resolution

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A simple deduction method for modal logic
• Modal resolution in clausal form
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Linear strategy for propositional modal resolution