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 8 items.

• Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
• Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
• 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)
• Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
• Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
• A tableau method for graded intersections of modalities: A case for concept languages (Q5960008) (← links)