Pages that link to "Item:Q2055845"

The following pages link to Efficient local reductions to basic modal logic (Q2055845):

Displaying 3 items.

• 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)