scientific article; zbMATH DE number 1538057

zbMATH Open0961.03015MaRDI QIDQ4518914FDOQ4518914

Authors Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Publication date 11 March 2001

zbMATH Keywords

experimental evaluationSAT-based decision proceduresclassical modal logics

Mathematics Subject Classification ID

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

Recommendations

• SAT-based decision procedures for classical modal logics
• SAT-based decision procedures for classical modal logics
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• Modal Satisfiability via SMT Solving
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).

Cited in

(11)

• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• scientific article; zbMATH DE number 1614702 (Why is no real title available?)
• Automated reasoning in modal and description logics via SAT encoding: the case study of \(K_m/\mathcal{ALC}\)-satisfiability
• scientific article; zbMATH DE number 1612543 (Why is no real title available?)
• InKreSAT: modal reasoning via incremental reduction to SAT
• SAT-based decision procedure for analytic pure sequent calculi
• SAT-based decision procedures for classical modal logics
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• SAT-based decision procedures for classical modal logics
• SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
• Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\mathcal{ALC}$

Describes a project that uses

Uses Software

• SATO

This page was built for publication:

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