The following pages link to Modal Resolution (Q4972162):
Displayed 5 items.
- Proof complexity of modal resolution (Q832717) (← 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)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)