The resolution method for one reducible class of formulas of the first-order modal logic S4.

DOI10.1007/s10986-005-0016-5zbMath1072.03011OpenAlexW1985331365MaRDI QIDQ2487862

Yanyan Li

Publication date: 9 August 2005

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-005-0016-5

zbMATH Keywords

proof searchresolution methodmodal logic S4absorption tactics

Mathematics Subject Classification ID

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

Cites Work

• Resolution for some first-order modal systems
• Herbrand style proof procedures for modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item