Pages that link to "Item:Q1104915"

The following pages link to The recursive resolution method for modal logic (Q1104915):

Displaying 2 items.

• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
• A resolution framework for finitely-valued first-order logics (Q1185455) (← links)