15/12/2000, Friday, 16:30–17:30 Room P3.10, Mathematics Building Alberto Zanardo, Università degli Studi di Padova Fibred semantics of modal first-order based logics