A Finite Basis for 'Almost Future' Temporal Logic over the Reals.

Dorit Pardo Ordentlich, Alexander Rabinovich

Browse the full MFCS paper archive.