An analysis of empirical testing for modal decision procedures

DOI10.1093/JIGPAL/8.3.293MaRDI QIDQ4487264zbMATH OpenOpenAlexFDO

Authors Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani

Publication date 21 June 2000

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/8.3.293

zbMATH Keywords

surveyempirical testingmodal decision procedures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1946871
• Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability
• Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability
• Building decision procedures for modal logics from propositional decision procedures -- the case study of modal K
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation

Cited in

(5)

• scientific article; zbMATH DE number 1946871 (Why is no real title available?)
• An empirical analysis of modal theorem provers
• Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability
• Computer Aided Verification
• An empirical test of Harrod's model

Describes a project that uses

Uses Software

• CSPLib
• ModLeanTAP

This page was built for publication: An analysis of empirical testing for modal decision procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487264)