Doctrine of Impossibility<1,2,3,4>

AD v GIS

 

Rescind(GIS,  contract)

Impossibility(contract)

¬ RiskAllocatedTo(GIS, contract)

ViolateBA(contract)

UnExpected(CableBroken)

neither    AD’s Belief Base ⊢cr CableBroken

nor         GIS’s Belief Base ⊢cr CableBroken

CK ∪ {CableBroken}  ⊢sk  ¬Internet

CK ∪ {¬ Internet} ⊢sk ¬RealTimeDelivery

GIS company

Expected(CableBroken)

GIS’s Belief Base ⊢cr CableBroken

Expected(CableBroken)

AD’s Belief Base ⊢cr CableBroken

AD

Click here to view the contract context

Doctrine of Impossibility<1,2,3,4>

CK ⊢sk E ⊏ CableBroken

GIS company

Neither GIS’s Belief Base ⊢cr CableBroken

nor AD’s Belief Base ⊢cr CableBroken

MoDiSo system

IMPOS ⊢sk   Rescind(GIS,  contract) ???