The following pages link to (Q4263021):
Displaying 5 items.
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Higher-Order Syntax and Saturation Algorithms for Hybrid Logic (Q2867945) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)