257 citations · 435 across the 18 of their papers we have counts for
1 paper · 1 filter
A. Artale, R. Kontchakov, V. Ryzhikov +1
We introduce and investigate a number of fragments of propo- sitional temporal logic LTL over the flow of time (Z, <). The fragments are defined in terms of the available temporal…