Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability

DOI10.1023/A:1015063215934zbMath1002.68155OpenAlexW1567968780MaRDI QIDQ1610668

Ian Horrocks, Peter F. Patel-Schneider

Publication date: 20 August 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015063215934

zbMATH Keywords

propositional modal satisfiability

Mathematics Subject Classification ID

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

This page was built for publication: Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability