Pages that link to "Item:Q4487263"
From MaRDI portal
The following pages link to Resolution-based methods for modal logics (Q4487263):
Displaying 38 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Resolution principles in possibilistic logic (Q911797) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Decidability by resolution for propositional modal logics (Q1284704) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Using resolution for testing modal satisfiability and building models (Q1610669) (← links)
- Constrained consequence (Q1941731) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Using resolution for testing modal satisfiability and building models (Q2751044) (← links)
- A tableau calculus for minimal modal model generation (Q2825415) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Model-Baded Abduction via Dual Resolution (Q3411856) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- (Q3509041) (← links)
- (Q4016032) (← links)
- (Q4312461) (← links)
- Modal tableaux based on residuation (Q4381866) (← links)
- (Q4438235) (← links)
- (Q4454845) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Modal Resolution (Q4972162) (← links)
- Destructive Modal Resolution (Q5202172) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving (Q6108819) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
