Semantiche a Modelli Locali per Logiche MultiContestuali