An analysis of empirical testing for modal decision procedures

DOI10.1093/JIGPAL/8.3.293zbMATH Open0947.03015OpenAlexW2139460891MaRDI QIDQ4487264FDOQ4487264

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

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

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)

Cited In (5)

• An empirical test of Harrod's model
• Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability
• Title not available (Why is that?)
• An empirical analysis of modal theorem provers
• Computer Aided Verification

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)