Pages that link to "Item:Q631089"

The following pages link to Complexity of hybrid logics over transitive frames (Q631089):

Displaying 6 items.

• The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
• Branching-time logics repeatedly referring to states (Q1047801) (← links)
• Model checking for hybrid branching-time logics (Q2291813) (← links)
• A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
• Undecidability of Multi-modal Hybrid Logics (Q2867946) (← links)
• The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)