SAT-based decision procedures for classical modal logics

DOI10.1023/A:1015071400913MaRDI QIDQ1610667zbMATH OpenFDO

Authors Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Publication date 20 August 2002

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

modal logicSAT-based decision procedures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• SAT-based decision procedures for classical modal logics
• scientific article; zbMATH DE number 1538057
• scientific article; zbMATH DE number 1302390
• Modal Satisfiability via SMT Solving
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• Decidability of some classes of modal logic
• Verified Decision Procedures for Modal Logics.
• SAT-based decision procedure for analytic pure sequent calculi
• Decidability by resolution for propositional modal logics
• Modular sequent calculi for classical modal logics

Cited in

(17)

• SAT-based decision procedures for classical modal logics
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• SAT-based decision procedure for analytic pure sequent calculi
• The SAT-based approach to separation logic
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• Answer set programming based on propositional satisfiability
• Solving the \$100 modal logic challenge
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 1946871 (Why is no real title available?)
• HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability
• scientific article; zbMATH DE number 1614702 (Why is no real title available?)
• Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving
• scientific article; zbMATH DE number 1538057 (Why is no real title available?)
• Resolution calculi for non-normal modal logics
• Algorithms for Solving Satisfiability Problems with Qualitative Preferences

Describes a project that uses

Uses Software

• SATO
• SPASS

This page was built for publication: SAT-based decision procedures for classical modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1610667)