Pages that link to "Item:Q386620"
From MaRDI portal
The following pages link to Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620):
Displaying 6 items.
- Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
- Dual tableaux. Foundations, methodology, case studies (Q710340) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210) (← links)
- Relational dual tableau decision procedure for modal logic K (Q4922857) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)