Recommendations
- scientific article; zbMATH DE number 3932427
- Resolution calculi for modal logics
- scientific article; zbMATH DE number 4055570
- scientific article; zbMATH DE number 4027426
- Resolution in modal, description and hybrid logic
- Resolution theorem proving in reified modal logics
- The recursive resolution method for modal logic
- Publication:4945231
- Resolution-based calculi for modal and temporal logics
- scientific article; zbMATH DE number 4025402
Cited in
(49)- A new methodology for developing deduction methods
- Modal resolution in clausal form
- Resolution for some first-order modal systems
- Decidability by resolution for propositional modal logics
- Hyperresolution for guarded formulae
- Clausal resolution in a logic of rational agency
- Using resolution for testing modal satisfiability and building models
- Constrained consequence
- Local reductions for the modal cube
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Blocking and other enhancements for bottom-up model generation methods
- Resolution with order and selection for hybrid logics
- Deciding regular grammar logics with converse through first-order logic
- Using resolution for testing modal satisfiability and building models
- Towards resolution-based reasoning for connected logics
- A tableau calculus for minimal modal model generation
- scientific article; zbMATH DE number 4018414 (Why is no real title available?)
- Simulation and synthesis of deduction calculi
- Clausal resolution for modal logics of confluence
- Model-Baded Abduction via Dual Resolution
- A Modal-Layered Resolution Calculus for K
- scientific article; zbMATH DE number 5295699 (Why is no real title available?)
- Anti-prenexing and Prenexing for Modal Logics
- scientific article; zbMATH DE number 3932427 (Why is no real title available?)
- scientific article; zbMATH DE number 4066840 (Why is no real title available?)
- scientific article; zbMATH DE number 77919 (Why is no real title available?)
- scientific article; zbMATH DE number 1215470 (Why is no real title available?)
- scientific article; zbMATH DE number 1341615 (Why is no real title available?)
- scientific article; zbMATH DE number 517002 (Why is no real title available?)
- scientific article; zbMATH DE number 683345 (Why is no real title available?)
- scientific article; zbMATH DE number 1735878 (Why is no real title available?)
- Modal tableaux based on residuation
- scientific article; zbMATH DE number 2015404 (Why is no real title available?)
- scientific article; zbMATH DE number 2053218 (Why is no real title available?)
- Resolution-based calculi for modal and temporal logics
- First-order resolution methods for modal logics
- Modal Resolution
- Destructive Modal Resolution
- Modal Satisfiability via SMT Solving
- Using tableau to decide description logics with full role negation and identity
- Clausal resolution for normal modal logics
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases
- Proof complexity of non-classical logics
- A description logic based situation calculus
- Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving
- Resolution calculi for non-normal modal logics
- Resolution principles in possibilistic logic
- Deciding expressive description logics in the framework of resolution
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
This page was built for publication: Resolution-based methods for modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487263)
