5 citations · 5 across the 1 of their papers we have counts for
1 paper · 1 filter
Volker Weber
Hybrid branching-time logics are introduced as extensions of CTL-like logics with state variables and the downarrow-binder. Following recent work in the linear framework, only logi…