An analysis of empirical testing for modal decision procedures

DOI10.1093/jigpal/8.3.293zbMath0947.03015OpenAlexW2139460891MaRDI QIDQ4487264

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

Publication date: 21 June 2000

Published in: Logic Journal of 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)

Uses Software

• CSPLib
• ModLeanTAP

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