Atti degli incontri di logica matematica Volume 6

XIII incontro: logiche modali e temporali