Università degli Studi di Padova

Temporal and modal logic