6 citations · 42 across the 18 of their papers we have counts for
1 paper · 2 filters
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…