Doctrine of Frustration of Purpose <1,2,3,4>

GIS v Fishery

 

Rescind(Fishery,  contract)

Frustration(contract)

¬ RiskAllocatedTo(Fishery, contract)

ViolateBA(contract)

UnExpected(OilSpill)

CommonBelief(Fish)

CK ∪ {Maps, ¬ Fish}    ⊢sk  ¬Fishing

RiskAllocatedTo(Fishery, contract)

PrevOrMiti(Fishery, OilSpill)

Fishery’s expertise  ⊢cr  OilSpill

CK ⊢sk ReasonableAction(Fishery, α)

Fishery’s expertise ∪ {α, Maps, OilSpill}   ⊢cr  Fishing

Fishery

GIS’s Belief Base ∪ {Maps,Fish}  ⊢sk  Fishing

and

Fishery’s Belief Base ∪ {Maps,Fish} ⊢sk  Fishing

GIS’s Belief Base  ⊢cr  Fish

Fishery’s Belief Base  ⊢cr     Fish

CK ∪ {OilSpill}    ⊢sk  ¬ Fish

GIS

Click here to view the contract context

Doctrine of Frustration of Purpose <1,2,3,4>

neither   GIS’s Belief Base ⊢cr OilSpill

nor         Fishery’s Belief Base ⊢cr OilSpill

CK ⊢sk E ⊏ OilSpill

MoDiSo system

FRUST ⊢sk   Rescind(Fishery,  contract) ???