Pages that link to "Item:Q4982111"
From MaRDI portal
The following pages link to HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111):
Displaying 6 items.
- HTab (Q24355) (← links)
- Symmetric blocking (Q897931) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- (Q5015266) (← links)
- \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics (Q6541144) (← links)
