Logic Modules by Mutable Instruments