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):

Displayed 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)