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