The following pages link to Modal Resolution (Q4972162):
Displaying 10 items.
- Proof complexity of modal resolution (Q832717) (← links)
- A resolution-based calculus for preferential logics (Q1799110) (← 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)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705948) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
