The following pages link to Sibyl (Q23929):
Displayed 4 items.
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)