Moduli Logici per Mutable Instruments