Pages that link to "Item:Q6487463"
From MaRDI portal
The following pages link to CTL with finitely bounded semantics (Q6487463):
Displaying 4 items.
- Bounded game-theoretic semantics for modal mu-calculus (Q2105468) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)
- Flat fragments of CTL and CTL: separating the expressive and distinguishing powers (Q4238500) (← links)