scientific article; zbMATH DE number 1538057
From MaRDI portal
Publication:4518914
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?)
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)\).
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Cited In (7)
- SAT-based decision procedures for classical modal logics
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
- Title not available (Why is that?)
- Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ $\mathcal{ALC}$
- 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
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)
