Pages that link to "Item:Q1047801"
From MaRDI portal
The following pages link to Branching-time logics repeatedly referring to states (Q1047801):
Displaying 4 items.
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Model checking for hybrid branching-time logics (Q2291813) (← links)
- Expressiveness of hybrid temporal logic on data words (Q2825412) (← links)
- On the expressive power of hybrid branching-time logics (Q5079784) (← links)