On the Logical Nature of Count-as Conditionals