Modal Resolution

DOI10.1145/3331448zbMath1433.03057OpenAlexW2968764582WikidataQ114614011 ScholiaQ114614011MaRDI QIDQ4972162

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3331448

zbMATH Keywords

normal modal logicsresolution methodproof strategies

Mathematics Subject Classification ID

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

Related Items (5)

Proof complexity of modal resolution ⋮ Theorem proving using clausal resolution: from past to present ⋮ Efficient local reductions to basic modal logic ⋮ Local is best: efficient reductions to modal logic \textsf{K} ⋮ Local reductions for the modal cube

This page was built for publication: Modal Resolution