Pages that link to "Item:Q4291028"

The following pages link to Herbrand style proof procedures for modal logic (Q4291028):

Displaying 2 items.

• Local reductions for the modal cube (Q2104538) (← links)
• The resolution method for one reducible class of formulas of the first-order modal logic S4. (Q2487862) (← links)