Pages that link to "Item:Q2901189"

The following pages link to An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189):

Displaying 3 items.

• A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
• A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
• Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (Q5747765) (← links)