Semantics and proof-theory of depth-bounded Boolean logics