Abstract In the style of Lindström’s theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as maximal (with respect to expressive power) abstract satisfying a certain form compactness, Tarski union property and preservation under bi-asimulations. Since introduces new complexities in intuitionistic setting by adding analogue backwards looking m...