12 citations · 13 across the 6 of their papers we have counts for
3 papers · 1 filter
Good-for-Game QPTL: An Alternating Hodges Semantics
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the fut…
Beyond BS-regular Languages: T-regular Expressions and Counter-Check Automata
Dario Della Monica, Angelo Montanari, Pietro Sala
In the last years, various extensions of ω-regular languages have been proposed in the literature, including ωB-regular (ω-regular languages extended with boundedness), ωS-regular…
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive onto…