Balázs Biró

Publication Activity (10 Years)

Years Active: 1988-1993
Publications (10 Years): 0

Publications

Balázs Biró, Ildikó Sain
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. Ann. Pure Appl. Log. 63 (3) (1993)
Balázs Biró
Non-Finite-Axiomatizability Results in Algebraic Logic. J. Symb. Log. 57 (3) (1992)
Balázs Biró
On Generalizations of a Theorem of Vaught. Notre Dame J. Formal Log. 31 (2) (1990)
Balázs Biró
Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. Notre Dame J. Formal Log. 30 (2) (1989)
Balázs Biró, Saharon Shelah
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. J. Symb. Log. 53 (3) (1988)