The following pages link to (Q2904047):
Displaying 5 items.
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
