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

empirical testingmodal decision proceduressurvey

Mathematics Subject Classification ID

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

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 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)

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

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)