Modality in open Institutions with Concrete Syntax Petros Stefaneas; Razvan Diaconescu — 2004 Δελτίο της Ελληνικής Μαθηματικής Εταιρίας