Items where Author is "Policriti, Alberto"

Report

ML-1996-07: Montanari, Angelo and Peron, Adriano and Policriti, Alberto (1996) Decidable Theories of $\omega$-Layered Metric Temporal Structures. [Report]

ML-1996-06: Montanari, Angelo and Policriti, Alberto (1996) A Decidable Theory of Finitely-Layered Metric Temporal Structures. [Report]

ML-1996-08: van Benthem, Johan and Montanari, Angelo and D'Agostino, Giovanna and Policriti, Alberto (1996) Modal Deduction in Second-Order Logic and Set Theory - II. [Report]

ML-1995-02: van Benthem, Johan and D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto (1995) Modal Deduction in Second-Order Logic and Set Theory. [Report]

ML-1994-09: D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto (1994) A Set-Theoretic Translation Method for Polymodal Logics. [Report]