Resolution calculi for non-normal modal logics
From MaRDI portal
Publication:6541160
Cites work
- scientific article; zbMATH DE number 4018413 (Why is no real title available?)
- scientific article; zbMATH DE number 4181308 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 15881 (Why is no real title available?)
- scientific article; zbMATH DE number 1341615 (Why is no real title available?)
- scientific article; zbMATH DE number 1414365 (Why is no real title available?)
- scientific article; zbMATH DE number 970635 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A simple deduction method for modal logic
- A structure-preserving clause form translation
- Admissibility of cut in congruent modal logics
- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
- Clausal resolution for modal logics of confluence
- Clausal resolution for normal modal logics
- Destructive Modal Resolution
- Efficient local reductions to basic modal logic
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity
- Implementing Superposition in iProver (System Description)
- Implementing tableau calculi using BDDs: BDDTab system description
- InKreSAT: modal reasoning via incremental reduction to SAT
- Linear strategy for propositional modal resolution
- Local reductions for the modal cube
- Modal Resolution
- Modal resolution in clausal form
- Modular sequent calculi for classical modal logics
- Modularisation of sequent calculi for normal and non-normal modalities
- Neighborhood semantics for modal logic
- Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
- Proof analysis in deontic logics
- Resolution for some first-order modal systems
- Resolution-based methods for modal logics
- SAT-based decision procedures for classical modal logics
- Semantics-Based Translation Methods for Modal Logics
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
- Sequent calculi and decision procedures for weak modal systems
- Sequent calculi for monotonic modal logics
- The intractability of resolution
- The recursive resolution method for modal logic
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
This page was built for publication: Resolution calculi for non-normal modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541160)