1 paper · 1 filter
Alessandro Ronca
We introduce a new family of temporal logics designed to finely balance the trade-off between expressivity and complexity. Their key feature is the possibility of defining operator…