Pages that link to "Item:Q386620"

The following pages link to Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620):

Displaying 3 items.

• Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
• Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)