Pages that link to "Item:Q3541703"
From MaRDI portal
The following pages link to Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703):
Displaying 6 items.
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- (Q5283020) (← links)
- Termination for Hybrid Tableaus (Q5431611) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)