scientific article; zbMATH DE number 1538057
From MaRDI portal
Publication:4518914
zbMATH Open0961.03015MaRDI QIDQ4518914FDOQ4518914
Authors: 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 (11)
- SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
- SAT-based decision procedures for classical modal logics
- SAT-based decision procedure for analytic pure sequent calculi
- 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
- InKreSAT: modal reasoning via incremental reduction to SAT
- Automated reasoning in modal and description logics via SAT encoding: the case study of \(K_m/\mathcal{ALC}\)-satisfiability
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)
