Pages that link to "Item:Q3647240"
From MaRDI portal
The following pages link to Relational dual tableaux for interval temporal logics ★ (Q3647240):
Displaying 8 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- (Q3838807) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)
- Reasoning about reversal-bounded counter machines (Q6599624) (← links)
