Pages that link to "Item:Q2901210"
From MaRDI portal
The following pages link to Dual tableau-based decision procedures for relational logics with restricted composition operator (Q2901210):
Displaying 3 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)
