An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals.

Angelo Montanari, Pietro Sala

Browse the full TIME paper archive.