5 citations · 16 across the 17 of their papers we have counts for
1 paper · 2 filters
Kitti Gelle, Szabolcs Ivan
In this paper we define future-time branching temporal logics evaluated over forests, that is, ordered tuples of ordered, but unranked, finite trees. We associate a rich class FL[$…