@Article{ScopeLogicThm,

author = {R\u{a}zvan Diaconescu and Till Mossakowski and Andrzej Tarlecki},

title = {The institution-theoretic scope of logic theorems},

journal = {Logica Universalis},

volume = 8,

number = 3-4,

pages = {393-406},

year = 2014}