... br />
In classical logic, you use the material conditional ... ->C), in classical logic, means that B is true ... paradoxes motivated developments in modal logic of necessity. This language ... doesn't necessarily imply C without asserting anything about the ...