Doctrine of  Mutual Mistake<1,2,3,4>

MAN v CZD

 

Coastal Zone Department

(CZD)

RiskAllocatedTo(CZD, contract)

CZD’s Belief Base ⊢cr ¬ DailyOilSpillMap

Seaport

Manager

Doctrine of Mutual Mistake<1,2,3,4>

Rescind(CZD,  contract)

MutualMistake(DailyOilSpillMap, contract)

¬ RiskAllocatedTo(CZD, contract)

ViolateBA(contract)

CZD’s Belief Base ⊢cr  DailyOilSpillMap

and

MAN’s Belief Base ⊢cr  DailyOilSpillMap

CK ⊢sk Hold(DayWithoutImage, E)

CK ∪ {DayWithoutImage} ⊢sk ¬DailyCompositeMap

CK ∪ {DayWithoutImage} ⊢sk 

¬ DailyOilSpillMap

CZD’s Belief Base ∪ {DailyOilSpillMap} ⊢sk  Price(1000)

and

MAN’s Belief Base ∪ {DailyOilSpillMap} ⊢sk  Price(1000)

MoDiSo system

MMIS ⊢sk   Rescind(CZD,  contract) ???