Pages that link to "Item:Q3647240"
From MaRDI portal
The following pages link to Relational dual tableaux for interval temporal logics ★ (Q3647240):
Displaying 11 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- (Q3838807) (← links)
- (Q4735171) (← 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)