B C A Logic