scientific article; zbMATH DE number 1302390

MaRDI QIDQ4247692zbMATH OpenFDO

Authors Roberto Sebastiani, Adolfo Villafiorita

Publication date 16 June 1999

zbMATH Keywords

modal logicsSAT-based decision procedures

Mathematics Subject Classification ID

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

Recommendations

• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• TABLEAUX: A general theorem prover for modal logics
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
• scientific article; zbMATH DE number 1538057
• SAT-based decision procedures for classical modal logics

Cited in

(2)

• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• SAT-based decision procedures for classical modal logics

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