Pages that link to "Item:Q5892513"

The following pages link to Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies (Q5892513):

Displaying 3 items.

• Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
• A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
• Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)