@article{DEME_2004__49_a7,
     author = {Petros Stefaneas and  Razvan Diaconescu},
     title = {Modality in open {Institutions} with {Concrete} {Syntax}},
     journal = {\ensuremath{\Delta}\ensuremath{\varepsilon}\ensuremath{\lambda}\ensuremath{\tau}\ensuremath{\acute\iota}o \ensuremath{\tau}\ensuremath{\eta}\ensuremath{\varsigma} E\ensuremath{\lambda}\ensuremath{\lambda}\ensuremath{\eta}\ensuremath{\nu}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} M\ensuremath{\alpha}\ensuremath{\theta}\ensuremath{\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} E\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\iota}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\alpha}\ensuremath{\varsigma}
},
     pages = {91-101},
     publisher = {mathdoc},
     volume = {49},
     year = {2004},
     language = {gr},
     url = {http://geodesic.mathdoc.fr/item/DEME_2004__49_a7/}
}