Modal Resolution
From MaRDI portal
Publication:4972162
Recommendations
- Proof complexity of modal resolution
- Resolution in modal, description and hybrid logic
- scientific article; zbMATH DE number 3932427
- Resolution-based methods for modal logics
- Resolution theorem proving in reified modal logics
- scientific article; zbMATH DE number 4055570
- A Modal-Layered Resolution Calculus for K
- The recursive resolution method for modal logic
- Resolution calculi for modal logics
- scientific article; zbMATH DE number 4025402
Cited in
(17)- Local reductions for the modal cube
- Proof complexity of modal resolution
- Logic for Programming, Artificial Intelligence, and Reasoning
- Clausal resolution for normal modal logics
- A resolution-based calculus for preferential logics
- Resolution-based calculi for modal and temporal logics
- Disjunction and modular goal-directed proof search
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
- Efficient local reductions to basic modal logic
- A Modal-Layered Resolution Calculus for K
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
- Clausal resolution for modal logics of confluence
- Local is best: efficient reductions to modal logic \textsf{K}
- Theorem proving using clausal resolution: from past to present
- Resolution calculi for non-normal modal logics
- scientific article; zbMATH DE number 4018413 (Why is no real title available?)
This page was built for publication: Modal Resolution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4972162)
