Modal Resolution
From MaRDI portal
Publication:4972162
DOI10.1145/3331448zbMATH Open1433.03057OpenAlexW2968764582WikidataQ114614011 ScholiaQ114614011MaRDI QIDQ4972162FDOQ4972162
Authors: Cláudia Nalon, Clare Dixon, Ullrich Hustadt 
Publication date: 22 November 2019
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3331448
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
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Cited In (17)
- Logic for Programming, Artificial Intelligence, and Reasoning
- Local reductions for the modal cube
- Proof complexity of modal resolution
- 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
- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- 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
- Title not available (Why is that?)
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)
