1. Barwise, K.J. Axioms for abstract model theory. Ann.Math.Logic 7(1974),pp.221–265.
2. Caicedo,X. Maximality and interpolation in abstract logics. Thesis, University of Maryland (1978)
3. ____ Banck-and-forth systems for arbitrary quantifiers, IN: "Mathematical Logic in Latin America", Proc. IV Latin American Symposium on Math.Logic, North Holland (1980).
4. ____ On extensions of Lωω(Q1), Notre Dame J. of Formal Logic 22 (1981),pp. 85–93.
5. Fajardo, S. Compacidad y decidibilidad en lógicas monádicas con cuantificadores cardinales, Rev.Colombiana de Mat. 14(1980), pp. 173–196.