Pages that link to "Item:Q1178699"

The following pages link to Resolution for some first-order modal systems (Q1178699):

Displaying 2 items.

• The resolution method for one reducible class of formulas of the first-order modal logic S4. (Q2487862) (← links)
• Herbrand style proof procedures for modal logic (Q4291028) (← links)