Bvtlogics