Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. - Balázs Biró; Saharon Shelah (J. Symb. Log., 1988)

Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. - Balázs Biró (Notre Dame J. Formal Log., 1989)

On Generalizations of a Theorem of Vaught. - Balázs Biró (Notre Dame J. Formal Log., 1990)

Non-Finite-Axiomatizability Results in Algebraic Logic. - Balázs Biró (J. Symb. Log., 1992)

Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. - Balázs Biró; Ildikó Sain (Ann. Pure Appl. Log., 1993)