scientific article; zbMATH DE number 1302390

zbMATH Open0927.03029MaRDI QIDQ4247692FDOQ4247692

Authors: Roberto Sebastiani, Adolfo Villafiorita 

Publication date: 16 June 1999

Title of this publication is not available (Why is that?)

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

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)

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)