Pages that link to "Item:Q2351166"

The following pages link to A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166):

Displaying 2 items.

• A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
• Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)