Pages that link to "Item:Q2867945"
From MaRDI portal
The following pages link to Higher-order syntax and saturation algorithms for hybrid logic (Q2867945):
Displaying 4 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)