Resolution-based methods for modal logics
From MaRDI portal
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
(44)- Blocking and other enhancements for bottom-up model generation methods
- Local reductions for the modal cube
- scientific article; zbMATH DE number 1735878 (Why is no real title available?)
- Clausal resolution in a logic of rational agency
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases
- A new methodology for developing deduction methods
- Simulation and synthesis of deduction calculi
- Deciding expressive description logics in the framework of resolution
- Towards resolution-based reasoning for connected logics
- Resolution principles in possibilistic logic
- Deciding regular grammar logics with converse through first-order logic
- scientific article; zbMATH DE number 77919 (Why is no real title available?)
- Clausal resolution for normal modal logics
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Proof complexity of non-classical logics
- A tableau calculus for minimal modal model generation
- Using tableau to decide description logics with full role negation and identity
- Resolution-based calculi for modal and temporal logics
- scientific article; zbMATH DE number 2015404 (Why is no real title available?)
- Hyperresolution for guarded formulae
- Model-Baded Abduction via Dual Resolution
- A description logic based situation calculus
- scientific article; zbMATH DE number 5295699 (Why is no real title available?)
- Resolution with order and selection for hybrid logics
- Using resolution for testing modal satisfiability and building models
- scientific article; zbMATH DE number 2053218 (Why is no real title available?)
- scientific article; zbMATH DE number 683345 (Why is no real title available?)
- A Modal-Layered Resolution Calculus for K
- Modal Satisfiability via SMT Solving
- Constrained consequence
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
- Anti-prenexing and Prenexing for Modal Logics
- Modal resolution in clausal form
- scientific article; zbMATH DE number 517002 (Why is no real title available?)
- Clausal resolution for modal logics of confluence
- Using resolution for testing modal satisfiability and building models
- scientific article; zbMATH DE number 4066840 (Why is no real title available?)
- First-order resolution methods for modal logics
- Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving
- Modal Resolution
- Resolution calculi for non-normal modal logics
- scientific article; zbMATH DE number 4018414 (Why is no real title available?)
- scientific article; zbMATH DE number 3932427 (Why is no real title available?)
- Destructive Modal Resolution
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)
