Pages that link to "Item:Q2817942"
From MaRDI portal
The following pages link to A Tableau System for Quasi-Hybrid Logic (Q2817942):
Displaying 7 items.
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- (Q2721190) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Tableau-based Decision Procedures for Hybrid Logic (Q3431972) (← links)
- (Q4412850) (← links)