Pages that link to "Item:Q4916086"
From MaRDI portal
The following pages link to First-Order Resolution Methods for Modal Logics (Q4916086):
Displaying 14 items.
- A new methodology for developing deduction methods (Q1037405) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Resolution in modal, description and hybrid logic (Q2772883) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
- HOL Based First-Order Modal Logic Provers (Q2870120) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- (Q3509041) (← links)
- Deontic Logic for Human Reasoning (Q5172607) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
