11 citations · 43 across the 14 of their papers we have counts for
1 paper · 1 filter
Robin Hirsch, Brett McLean
We prove the EXPTIME-hardness of the validity problem for the basic temporal logic on Minkowski spacetime with more than one space dimension. We prove this result for both the ligh…