一个问题是实质条件被不是意图处理在“如果-那么”推理中常见的反事实和其他情况。这促使人们开发了模态逻辑。进一步的问题是实质条件使得P AND ¬P → Q，而不管Q意味着什么。就是说，矛盾蕴涵了所有的事物都绝对是真的。关心这个问题的逻辑学家开发了次协调逻辑。