scientific article; zbMATH DE number 1538057

zbMATH Open0961.03015MaRDI QIDQ4518914FDOQ4518914

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Publication date: 11 March 2001

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

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)

Cited In (5)

• SAT-based decision procedures for classical modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• SAT-based decision procedures for classical modal logics
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

Uses Software

• SATO

Recommendations

• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). 👍 👎
• Modal Satisfiability via SMT Solving 👍 👎
• SAT-based decision procedures for classical modal logics 👍 👎
• 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 Q4518914)