反事實條件句邏輯

運用數理邏輯方法對反事實條件句進行處理、刻劃的一種邏輯理論。反事實條件句的前件假後件也假，但前後件之間存在一定的內在關係。有人以可能世界理論為基礎，闡述了反事實條件句的性質，給出了它的真值條件，建立了一些不同的邏輯系統。